|
||||||||||
| 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 | |||||||||