This interface captures the common functionalities of formulas, sorts and terms. It allows to query for saved terms by using the type of the term it also forces sub classes to implement the toString() and clone() methods.
Checks if this logical structure contains at least one term of type C.
Checks if this logical structure contains at least one term of type C. This method is a shortcut for !getTerms(TermImplementation.class).isEmpty().
cls - The class structure representing the type C of the term.
True if this logical structure contains at least one term of type C or false otherwise.