|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use CompoundTerm | |
---|---|
fleXplorer.Terms |
Uses of CompoundTerm in fleXplorer.Terms |
---|
Methods in fleXplorer.Terms with parameters of type CompoundTerm | |
---|---|
boolean |
CompoundTerm.isNarrowerThan(CompoundTerm s)
Checks if compound term is narrower than an other (subsumption checking). |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |