Packages

class SortedConstantTerm extends ConstantTerm

Sorted version of constants.

Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. SortedConstantTerm
  2. ConstantTerm
  3. Cloneable
  4. Term
  5. TerFor
  6. AnyRef
  7. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new SortedConstantTerm(_name: String, sort: Sort)

Value Members

  1. def clone(): SortedConstantTerm
    Definition Classes
    SortedConstantTermConstantTerm → AnyRef
  2. val constants: Set[ConstantTerm]
    Definition Classes
    ConstantTermTerFor
  3. val name: String
    Definition Classes
    ConstantTerm
  4. def predicates: Set[Predicate]
    Definition Classes
    TermTerFor
  5. val sort: Sort
  6. def toString(): String
    Definition Classes
    ConstantTerm → AnyRef → Any
  7. val variables: Set[VariableTerm]
    Definition Classes
    ConstantTermTerFor