term.util.package

Equation

case class Equation (l: Term, r: Term) extends Product with Serializable

Represents an equation between two terms.

Equations are undirected so st is identified with ts.

l

the left-hand side of the equation

r

the right-hand side of the equation

Linear Supertypes
Serializable, Serializable, Product, Equals, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. Equation
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. AnyRef
  7. Any
Visibility
  1. Public
  2. All

Instance Constructors

  1. new Equation (l: Term, r: Term)

    Creates a new equation from two terms.

    Creates a new equation from two terms.

    l

    the left-hand side of the equation

    r

    the right-hand side of the equation

Value Members

  1. def != (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef
  2. def != (arg0: Any): Boolean

    Attributes
    final
    Definition Classes
    Any
  3. def ## (): Int

    Attributes
    final
    Definition Classes
    AnyRef → Any
  4. def == (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef
  5. def == (arg0: Any): Boolean

    Attributes
    final
    Definition Classes
    Any
  6. def apply (s: Subst): Equation

  7. def asInstanceOf [T0] : T0

    Attributes
    final
    Definition Classes
    Any
  8. def canEqual (other: Any): Boolean

    Definition Classes
    Equation → Equals
  9. def clone (): AnyRef

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  10. def eq (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef
  11. def equals (other: Any): Boolean

    Definition Classes
    Equation → Equals → AnyRef → Any
  12. def finalize (): Unit

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  13. def getClass (): java.lang.Class[_]

    Attributes
    final
    Definition Classes
    AnyRef → Any
  14. def hashCode (): Int

    Definition Classes
    Equation → AnyRef → Any
  15. def isInstanceOf [T0] : Boolean

    Attributes
    final
    Definition Classes
    Any
  16. def isJoinable (rs: TRS): Boolean

    Returns true if the left- and right-hand sides of this equation may be rewritten to the same normal form with respect to rs.

  17. def isTrivial : Boolean

    Returns true if this equation is a trivial equation, i.

    Returns true if this equation is a trivial equation, i.e., the left- and right-hand sides of this equations are the same, and false otherwise.

  18. def lhs : Term

    Returns the left-hand side term of this equation.

  19. def ne (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef
  20. def notify (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
  21. def notifyAll (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
  22. def productArity : Int

    Definition Classes
    Equation → Product
  23. def productElement (arg0: Int): Any

    Definition Classes
    Equation → Product
  24. def productIterator : Iterator[Any]

    Definition Classes
    Product
  25. def productPrefix : String

    Definition Classes
    Equation → Product
  26. def rhs : Term

    Returns the right-hand side term of this equation.

  27. def simpl (rs: TRS): E

    Returns this equation with the left- and right-hand sides reduced by one step with respect to the term rewrite system rs.

  28. def simplLHS (irs: List[()]): (E, Int)

    Returns this equation with the left-hand side reduced by one step with respect to the indexed term rewrite system irsand the index of the used rule from irs.

  29. def simplLHS (rs: TRS): E

    Returns this equation with the left-hand side reduced by one step with respect to the term rewrite system rs.

  30. def simplLHSToNF (rs: TRS): E

    Returns this equation with the left-hand side reduced to normal form with respect to the term rewrite system rs.

  31. def simplRHS (rs: TRS): E

    Returns this equation with the right-hand side reduced by one step with respect to the term rewrite system rs.

  32. def simplRHS (irs: List[()]): (E, Int)

  33. def simplRHSToNF (rs: TRS): E

    Returns this equation with the right-hand side reduced to normal form with respect to the term rewrite system rs.

  34. def simplToNF (rs: TRS): E

    Returns this equation with the left- and right-hand sides reduced to normal form with respect to the term rewrite system rs.

  35. def swap : Equation

    Returns this equation with swapped left- and right-hand sides.

  36. def synchronized [T0] (arg0: ⇒ T0): T0

    Attributes
    final
    Definition Classes
    AnyRef
  37. def toRule : Rule

    Returns a rule from the left-hand side of this equation to the right-hand side of this equation.

  38. def toString (): String

    Definition Classes
    Equation → AnyRef → Any
  39. def toTuple : (Term, Term)

    Returns a tuple containing the left- and right-hand side terms of this equation.

  40. def vars : List[V]

    Returns a list of all variables occuring in this equation.

  41. def wait (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()
  42. def wait (arg0: Long, arg1: Int): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()
  43. def wait (arg0: Long): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()
  44. def xReduceLHS (irs: List[()]): (E, Int)

  45. def xReduceLHS (rs: TRS): E

    Returns this equation with the left-hand side reduced by one step with respect to rs without any rules equal to this equation.

  46. def xRewriteLHS (rs: TRS): E

    Returns this equation with the left-hand side reduced to normal form with respect to rs without any rules equal to this equation.

Deprecated Value Members

  1. def productElements : Iterator[Any]

    Definition Classes
    Product
    Annotations
    @deprecated
    Deprecated

    use productIterator instead

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from AnyRef

Inherited from Any