Uses of Class
tuffy.ra.Expression

Packages that use Expression

tuffy.mln	This package builds the data structure of MLN.
tuffy.parse	Provides parsers for MLN input, config files, and command line options.
tuffy.ra	Rich logic/relational constructs such as expressions and Datalog.

Uses of Expression in tuffy.mln

Fields in tuffy.mln with type parameters of type Expression

private java.util.ArrayList<Expression>

Clause.constraints The set of boolean expressions that must all be TRUE; otherwise the corresponding grounding is always true, and is useless for inference -- and will be discarded.

Methods in tuffy.mln that return types with arguments of type Expression

java.util.ArrayList<Expression>

Clause.getConstraints()

Methods in tuffy.mln with parameters of type Expression

void	Clause.addConstraint(Expression e) Add a constraint that must hold.

Uses of Expression in tuffy.parse

Fields in tuffy.parse declared as Expression

Expression	MLNParser.boolExpression_return.be
Expression	MLNParser.boolConjunction_return.be
Expression	MLNParser.boolConjunctionElement_return.be
Expression	MLNParser.expression_return.expr
Expression	MLNParser.mathComparison_return.expr
Expression	MLNParser.mathExpression_return.expr
Expression	MLNParser.mathTerm_return.expr
Expression	MLNParser.mathFactor_return.expr
Expression	MLNParser.funcExpression_return.expr
Expression	MLNParser.funcArgument_return.expr
Expression	MLNParser.atomicExpression_return.expr

Uses of Expression in tuffy.ra

Fields in tuffy.ra with type parameters of type Expression

private java.util.ArrayList<Expression>	AtomEx.args
private java.util.ArrayList<Expression>	Expression.args_
private java.util.ArrayList<Expression>	ConjunctiveQuery.constraints

Methods in tuffy.ra that return Expression

static Expression	Expression.and(Expression e1, Expression e2) Boolean AND
Expression	Expression.clone()
static Expression	Expression.exprConstInteger(int n) Atomic expression representing a constant integer
static Expression	Expression.exprConstNum(double num) Atomic expression representing a constant number
static Expression	Expression.exprConstString(java.lang.String str) Atomic expression representing a constant string
static Expression	Expression.exprVariableBinding(java.lang.String var) Atomic expression representing a variable binding
static Expression	Expression.not(Expression e) Boolean negation
static Expression	Expression.or(Expression e1, Expression e2) Boolean OR

Methods in tuffy.ra that return types with arguments of type Expression

java.util.ArrayList<Expression>	Expression.getArgs()
java.util.ArrayList<Expression>	AtomEx.getArguments()
java.util.ArrayList<Expression>	ConjunctiveQuery.getConstraint()
java.util.ArrayList<Expression>	ConjunctiveQuery.getConstraint(java.util.HashSet<java.lang.String> allVariables)

Methods in tuffy.ra with parameters of type Expression

void	Expression.addArgument(Expression expr) Append an argument to the underlying function
void	ConjunctiveQuery.addConstraint(Expression e) Add a constraint that must hold.
static Expression	Expression.and(Expression e1, Expression e2) Boolean AND
void	AtomEx.appendTerm(Expression t) Appends a new term.
static Expression	Expression.not(Expression e) Boolean negation
static Expression	Expression.or(Expression e1, Expression e2) Boolean OR

Method parameters in tuffy.ra with type arguments of type Expression

void	ConjunctiveQuery.addConstraintAll(java.util.Collection<Expression> es)