public interface LogicStructure
Modifier and Type | Method and Description |
---|---|
<C extends Term<?>> |
containsTermsOfType(java.lang.Class<C> cls)
Checks if this logical structure contains at least one term of type C.
|
java.util.Set<Term<?>> |
getTerms() |
<C extends Term<?>> |
getTerms(java.lang.Class<C> cls)
Processes the set containing all terms of type C.
|
java.util.Set<Term<?>> getTerms()
<C extends Term<?>> java.util.Set<C> getTerms(java.lang.Class<C> cls)
cls
- The Class structure containing type information about the
searched term<C extends Term<?>> boolean containsTermsOfType(java.lang.Class<C> cls)
cls
- The class structure representing the type C of the term.