|
|||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Tuple | |
---|---|
mln | This package builds the data structure of MLN. |
Uses of Tuple in mln |
---|
Fields in mln declared as Tuple | |
---|---|
Tuple |
Atom.args
The argument list represented as a tuple of integers: constant as positive number and variable as negative number. |
Methods in mln that return Tuple | |
---|---|
Tuple |
Literal.toTuple()
Convert this literal into a tuple. |
Methods in mln with parameters of type Tuple | |
---|---|
java.util.HashMap<java.lang.String,Term> |
Literal.mostGeneralUnification(Tuple atuple)
Compute the most general unification (MGU) of two literals. |
boolean |
Tuple.subsumes(Tuple other)
Test if the tuple subsumes the argument tuple. |
Constructors in mln with parameters of type Tuple | |
---|---|
Atom(Predicate p,
Tuple at)
Create an atom of type NONE. |
|
|||||||||
PREV NEXT | FRAMES NO FRAMES |