Uses of Class
tuffy.mln.Literal

Packages that use Literal

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 Literal in tuffy.mln

Fields in tuffy.mln with type parameters of type Literal

private java.util.ArrayList<Literal>	Clause.bilits List of built-in literals in this clause.
private java.util.ArrayList<Literal>	Clause.lits List of literals in this clause.
private java.util.HashMap<Predicate,java.util.ArrayList<Literal>>	Clause.predIndex The index of predicate to set of literals referencing that predicate.
private java.util.ArrayList<Literal>	Clause.reglits List of regular literals in this clause.

Methods in tuffy.mln that return Literal

Literal

Literal.substitute(java.util.HashMap<java.lang.String,Term> vmap) Apply a substitution to this literal.

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

java.util.ArrayList<Literal>	Clause.getLiteralsOfPredicate(Predicate pred) Return the member literals of a particular predicate.
java.util.ArrayList<Literal>	Clause.getRegLiterals() Return the list of non-built-in literals (i.e., regular literals).

Methods in tuffy.mln with parameters of type Literal

void	Clause.addLiteral(Literal lit) Add a literal to this clause.
boolean	Literal.isSameAs(Literal lit) Compare a given literal with this one.

Uses of Literal in tuffy.parse

Fields in tuffy.parse declared as Literal

Literal	MLNParser.literal_return.lit
Literal	MLNParser.atom_return.lit

Uses of Literal in tuffy.ra

Fields in tuffy.ra declared as Literal

Literal

ConjunctiveQuery.head

Fields in tuffy.ra with type parameters of type Literal

java.util.ArrayList<Literal>

ConjunctiveQuery.body

Methods in tuffy.ra with parameters of type Literal

void	ConjunctiveQuery.addBodyLit(Literal lit) Add a body literal.
void	ConjunctiveQuery.setHead(Literal lit) Set the head of this query.