|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Term | |
---|---|
tuffy.mln | This package builds the data structure of MLN. |
tuffy.parse | Provides parsers for MLN input, config files, and command line options. |
Uses of Term in tuffy.mln |
---|
Fields in tuffy.mln with type parameters of type Term | |
---|---|
private java.util.ArrayList<Term> |
Literal.terms
List of terms (variable/constant) contained in this literal. |
Methods in tuffy.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 tuffy.mln with parameters of type Term | |
---|---|
void |
Literal.appendTerm(Term t)
Append a new term to this literal. |
Method parameters in tuffy.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 tuffy.parse |
---|
Fields in tuffy.parse declared as Term | |
---|---|
Term |
MLNParser.term_return.t
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |