|
|||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Term | |
---|---|
mln | This package builds the data structure of MLN. |
parser | Provides parsers for MLN input, config files, and command line options. |
Uses of Term in mln |
---|
Methods in mln that return types with arguments of type Term | |
---|---|
java.util.ArrayList<Term> |
Literal.getTerms()
Return the list of terms in this literal. |
java.util.HashMap<java.lang.String,Term> |
Literal.mostGeneralUnification(Tuple atuple)
Compute the most general unification (MGU) of two literals. |
Methods in mln with parameters of type Term | |
---|---|
void |
Literal.appendTerm(Term t)
Append a new term to this literal. |
Method parameters in mln with type arguments of type Term | |
---|---|
Literal |
Literal.substitute(java.util.HashMap<java.lang.String,Term> vmap)
Apply a substitution to this literal. |
Uses of Term in parser |
---|
Fields in parser declared as Term | |
---|---|
Term |
MLNParser.term_return.t
|
|
|||||||||
PREV NEXT | FRAMES NO FRAMES |