|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use AtomTuple | |
---|---|
mln |
Uses of AtomTuple in mln |
---|
Fields in mln declared as AtomTuple | |
---|---|
AtomTuple |
Atom.args
|
AtomTuple |
Literal.tuple
|
Methods in mln that return AtomTuple | |
---|---|
AtomTuple |
Literal.canonicalize()
|
AtomTuple |
AtomCutSet.top()
|
Methods in mln with parameters of type AtomTuple | |
---|---|
void |
AtomCutSet.addTuple(AtomTuple t)
|
boolean |
AtomCutSet.contains(AtomTuple t)
|
boolean |
AtomTuple.equals(AtomTuple other)
|
void |
AtomCutSet.removeTuple(AtomTuple t)
|
boolean |
AtomTuple.subsumes(AtomTuple other)
test subsumption |
boolean |
AtomCutSet.subsumes(AtomTuple t)
|
Constructors in mln with parameters of type AtomTuple | |
---|---|
Atom(Predicate p,
AtomTuple at)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |