Java Code Examples for edu.cornell.cs.nlp.spf.mr.lambda.LogicalExpression#accept()

@Override
public void visit(LogicalExpression logicalExpression) {
	logicalExpression.accept(this);
}
 

@Override
public void visit(LogicalExpression logicalExpression) {
	logicalExpression.accept(this);
}
 

@Override
public void visit(LogicalExpression logicalExpression) {
	logicalExpression.accept(this);
}
 

@Override
public void visit(LogicalExpression logicalExpression) {
	logicalExpression.accept(this);
}
 

@Override
public void visit(LogicalExpression logicalExpression) {
	logicalExpression.accept(this);
}
 

@Override
public void visit(LogicalExpression logicalExpression) {
	logicalExpression.accept(this);
}
 

@Override
public void visit(LogicalExpression logicalExpression) {
	logicalExpression.accept(this);
}
 

@Override
public void visit(LogicalExpression logicalExpression) {
	logicalExpression.accept(this);
}
 

@Override
public void visit(LogicalExpression logicalExpression) {
	logicalExpression.accept(this);
}
 

@Override
public void visit(LogicalExpression logicalExpression) {
	logicalExpression.accept(this);
}
 

@Override
public void visit(LogicalExpression logicalExpression) {
	logicalExpression.accept(this);
}
 

@Override
public void visit(LogicalExpression logicalExpression) {
	logicalExpression.accept(this);
}
 

@Override
public void visit(LogicalExpression logicalExpression) {
	logicalExpression.accept(this);
}
 

@Override
public void visit(LogicalExpression logicalExpression) {
	logicalExpression.accept(this);
}
 

@Override
public void visit(LogicalExpression logicalExpression) {
	logicalExpression.accept(this);
}
 

@Override
public void visit(LogicalExpression logicalExpression) {
	logicalExpression.accept(this);
}
 

@Override
public void visit(LogicalExpression logicalExpression) {
	logicalExpression.accept(this);
}
 

@Override
public void visit(Literal literal) {
	final int len = literal.numArgs();
	if (aPredicate.equals(literal.getPredicate())) {
		if (len == 1) {
			final Lambda innerLambda = makeEntityToTruthLambda(literal
					.getArg(0));
			if (innerLambda == null) {
				throw new IllegalStateException("Invalid A expression: "
						+ literal);
			}
			innerLambda.getBody().accept(this);
			final Stack<Pair<Variable, ? extends LogicalExpression>> currentStack = new Stack<Pair<Variable, ? extends LogicalExpression>>();
			// To avoid the case of variables shared through various
			// structures, replace the current variable with a new one in
			// the inner body. This is a safe and simple way to solve this
			// problem. More efficient solutions are possible.
			final Variable newVariable = new Variable(innerLambda
					.getArgument().getType());
			// The result contains in the first place the processed body of
			// the inner lambda.
			currentStack.push(Pair.of(
					newVariable,
					ReplaceExpression.of(result.first(),
							innerLambda.getArgument(), newVariable)));
			// Append stack from sub tree
			currentStack.addAll(result.second());
			result = Pair.of(newVariable, currentStack);
		} else {
			throw new IllegalStateException("invalid A expression: "
					+ literal);
		}
	} else {
		literal.getPredicate().accept(this);
		final Pair<? extends LogicalExpression, Stack<Pair<Variable, ? extends LogicalExpression>>> newPredPair = result;

		final LogicalExpression[] newArgs = new LogicalExpression[len];
		final List<Stack<Pair<Variable, ? extends LogicalExpression>>> newStacks = new ArrayList<Stack<Pair<Variable, ? extends LogicalExpression>>>(
				len);
		boolean argsChanged = false;
		for (int i = 0; i < len; ++i) {
			final LogicalExpression arg = literal.getArg(i);
			arg.accept(this);
			newArgs[i] = result.first();
			newStacks.add(result.second());
			if (arg != result.first()) {
				argsChanged = true;
			}
		}

		// Merge stacks returned from all arguments.
		final Stack<Pair<Variable, ? extends LogicalExpression>> mergedStack = new Stack<Pair<Variable, ? extends LogicalExpression>>();
		for (final Stack<Pair<Variable, ? extends LogicalExpression>> stack : newStacks) {
			mergedStack.addAll(stack);
		}

		if (argsChanged || newPredPair.first() != literal.getPredicate()) {
			result = Pair.of(new Literal(newPredPair.first(), newArgs),
					mergedStack);
		} else {
			result = Pair.of(literal, mergedStack);
		}
	}

	// Try to wrap the literal with existential quantifiers.
	result = Pair.of(wrapIfPossible(result.first(), result.second()),
			result.second());

}
 

@Override
public void visit(LogicalExpression logicalExpression) {
	logicalExpression.accept(this);
}
 

@Override
public void visit(LogicalExpression logicalExpression) {
	logicalExpression.accept(this);
}