terfor

Type Members

1. trait AliasChecker extends AnyRef

   

   Trait for classes providing term alias information.

2. trait ComputationLogger extends AnyRef

   

   Trait that can be used to track the computation taking place in systems of equations, inequalities, etc.

   Trait that can be used to track the computation taking place in systems of equations, inequalities, etc. This is used to produce proofs.

3. class ConstantTerm extends Term with Cloneable

   

   Class for representing constants.

   Class for representing constants. This is not a case class, two constants are the same iff the object that they are represented by are the same.

4. abstract class Formula extends TerFor

   

5. class RichLinearCombination extends AnyRef

   

   Various infix operators terms and linear combinations

6. class RichLinearCombinationSeq extends AnyRef

   

   Various functions to work with vectors of terms

7. class RichPredicate extends AnyRef

   

   A few functions to work with predicates

8. trait Sorted[+T] extends AnyRef

   

   Trait for objects that can be sorted by a TermOrder.

   Trait for objects that can be sorted by a TermOrder. It is a design decision that the used order cannot be queried from an object (so that it must not be stored in the object). It can be checked whether an object is consistent with a certain given order, however.

9. trait SortedWithOrder[+T] extends Sorted[T]

   

   Extension of Sorted where also the actual TermOrder can be queried

   Extension of Sorted where also the actual TermOrder can be queried

10. abstract class TerFor extends AnyRef

    

11. abstract class Term extends TerFor

    

12. class TermOrder extends AnyRef

    

13. case class VariableTerm(index: Int) extends Term with Product with Serializable