Rule

def != (arg0: AnyRef): Boolean

def != (arg0: Any): Boolean

def ## (): Int

def == (arg0: AnyRef): Boolean

def == (arg0: Any): Boolean

def apply (s: Subst): Rule

Returns this rule after the substitution s was applied to the left- and right-hand sides.

def asInstanceOf [T0] : T0

def canEqual (other: Any): Boolean

def check (p: Pos, r: Rule): Boolean

def clone (): AnyRef

def eq (arg0: AnyRef): Boolean

def equals (other: Any): Boolean

def finalize (): Unit

def getClass (): java.lang.Class[_]

def hashCode (): Int

def isInstanceOf [T0] : Boolean

def lhs : Term

Returns the left-hand side term of the rule.

def ne (arg0: AnyRef): Boolean

def notify (): Unit

def notifyAll (): Unit

def overlaps (trs: TRS): List[()]

Returns a list of overlaps between the left-hand side of this rule and the left-hand sides of rules from the term rewrite system trs.

def overlaps (r: Rule): List[()]

Returns a list of overlaps between the left-hand sides of this rule and rule r.

def productArity : Int

def productElement (arg0: Int): Any

def productIterator : Iterator[Any]

def productPrefix : String

def rhs : Term

Returns the right-hand side term of t he rule.

def simpl (rs: TRS): R

Returns this rule after the left- and right-hand sides of it were rewritten one time with respect to the term rewrite system rs.

def simplLHS (rs: TRS): R

Returns this rule after the left-hand side of it was rewritten one time with respect to the term rewrite system rs.

def simplRHS (irs: List[()]): (R, Int)

def simplRHS (rs: TRS): R

Returns this rule after the right-hand side of it was rewritten one time with respect to the term rewrite system rs.

def simplRHSToNF (rs: TRS): R

Returns this rule after the right-hand side of it was rewritten to normal form with respect to the term rewrite system rs.

def swap : Rule

Returns the re-oriented rule where the left- and right-hand sides are swapped.

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

def toEquation : Equation

Returns a Equation containing the left- and right-hand sides of the rule.

def toString (): String

def toTuple : (Term, Term)

Returns a scala.Tuple2 containing the left- and right-hand sides of the rule.

def variantOf (that: Rule): Boolean

Returns true if the left-hand and right-hand sides of this rule are variants of the left- and right-hand sides of that rule and false otherwise.

def vars : List[V]

Returns the list of variables occuring in this rule.

def wait (): Unit

def wait (arg0: Long, arg1: Int): Unit

def wait (arg0: Long): Unit

def xReduce (r: R): Option[Term]

Returns scala.Some(this) rule where the left-hand side is reduced by one step with respect to rule r if the left-hand side of r cannot be reduced by this rule and scala.None otherwise.

def xReduceRHS (irs: List[()]): (R, Int)

def xReduceRHS (rs: TRS): R

Returns this rule where the right-hand side is reduced by one step with respect to rs without this rule itself.

def xReducibleLHS (rs: TRS): Boolean

Returns true if the left-hand side of this rule is reducible by some rule from rs which is not equal to this rule.

def xRewriteRHS (rs: TRS): R

Returns this rule where the right-hand side is reduced to normal form with respect to rs without this rule itself.

def productElements : Iterator[Any]