|
|||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Literal | |
---|---|
mln | This package builds the data structure of MLN. |
parser | Provides parsers for MLN input, config files, and command line options. |
Uses of Literal in mln |
---|
Methods in mln that return Literal | |
---|---|
Literal |
Literal.substitute(java.util.HashMap<java.lang.String,Term> vmap)
Apply a substitution to this literal. |
Methods in 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 mln with parameters of type Literal | |
---|---|
void |
ConjunctiveQuery.addBodyLit(Literal lit)
Add a body literal. |
void |
Clause.addLiteral(Literal lit)
Add a literal to this clause. |
boolean |
Literal.isSameAs(Literal lit)
Compare a given literal with this one. |
void |
ConjunctiveQuery.setHead(Literal lit)
Set the head of this query. |
Uses of Literal in parser |
---|
Fields in parser declared as Literal | |
---|---|
Literal |
MLNParser.literal_return.lit
|
Literal |
MLNParser.atom_return.lit
|
|
|||||||||
PREV NEXT | FRAMES NO FRAMES |