Packages

object DerivedEquations

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. DerivedEquations
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Value Members

  1. def elemDepends(x: Term, el: Elem[_]): Boolean
  2. def equationDepends(x: Term, eqn: EquationNode): Boolean
  3. def sortDepends(x: Term, sort: Sort[_, _]): Boolean
  4. def varDepends(x: Term, v: Variable[_]): Boolean