Uses of Class
fleXplorer.Terms.CompoundTerm

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