term.package

Fun

case class Fun (name: F, args: List[Term]) extends Term with Product with Serializable

Represents a function.

name

the name of the function symbol

args

the arguments the function is applied to

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

Instance Constructors

  1. new Fun (name: F, args: List[Term])

    Creates a new function applied to arguments.

    Creates a new function applied to arguments.

    name

    the name of the function symbol

    args

    the arguments the function is applied to

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): Term

    Returns this term after the substitution s was applied.

    Returns this term after the substitution s was applied.

    Definition Classes
    Term
  7. def apply (p: Pos): Term

    Returns the subterm of this term at position p.

    Returns the subterm of this term at position p.

    Definition Classes
    Term
  8. val args : List[Term]

    the arguments the function is applied to

    the arguments the function is applied to

    Definition Classes
    FunTerm
  9. def asInstanceOf [T0] : T0

    Attributes
    final
    Definition Classes
    Any
  10. def byRule (rs: TRS): Option[R]

    Returns the first rule from the term rewrite system rs which may be used to rewrite this term and scala.None if there is no such rule in rs.

    Returns the first rule from the term rewrite system rs which may be used to rewrite this term and scala.None if there is no such rule in rs.

    Definition Classes
    Term
  11. def canEqual (arg0: Any): Boolean

    Definition Classes
    Fun → Equals
  12. def clone (): AnyRef

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  13. def contains (that: Term): Boolean

    Returns true if some subterm of this term subsumes that term.

    Returns true if some subterm of this term subsumes that term.

    Definition Classes
    Term
  14. def contract (irs: List[()]): (Int, Term)

    Definition Classes
    Term
  15. def contract (rs: TRS): Term

    Returns the contraction of this term and some rule in the term rewrite system rs if it exists and this term otherwise.

    Returns the contraction of this term and some rule in the term rewrite system rs if it exists and this term otherwise.

    Definition Classes
    Term
  16. def contract (r: R): Term

    Returns the term you get when applying the matching substitution from this term and the left-hand side of the rule r to the right-hand side of r.

    Returns the term you get when applying the matching substitution from this term and the left-hand side of the rule r to the right-hand side of r.

    Definition Classes
    Term
  17. def depth : Int

    Returns the depth of the syntax tree of this term.

    Returns the depth of the syntax tree of this term.

    Definition Classes
    Term
  18. def eq (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef
  19. def equals (arg0: Any): Boolean

    Definition Classes
    Fun → Equals → AnyRef → Any
  20. def finalize (): Unit

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  21. def freshVars (): Subst

    Returns a substitution from all variables in this term to fresh variables.

    Returns a substitution from all variables in this term to fresh variables.

    Definition Classes
    Term
  22. def funs : Set[F]

    Returns a set of all function symbol names contained in this term.

    Returns a set of all function symbol names contained in this term.

    Definition Classes
    Term
  23. def getClass (): java.lang.Class[_]

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

    Definition Classes
    Fun → AnyRef → Any
  25. def irewritableAt (irs: List[()]): Option[Pos]

    Definition Classes
    Term
  26. def irewritableWithSubst (ir: ()): Option[Subst]

    Definition Classes
    Term
  27. def irewriteStep (irs: List[()]): Option[(Int, Term)]

    Definition Classes
    Term
  28. def isGround : Boolean

    Returns true if this term contains no variables and false otherwise.

    Returns true if this term contains no variables and false otherwise.

    Definition Classes
    Term
  29. def isInstanceOf [T0] : Boolean

    Attributes
    final
    Definition Classes
    Any
  30. def isNF (rs: TRS): Boolean

    Returns true if this term is in normal form with respect to the term rewrite system rs and 'false' otherwise.

    Returns true if this term is in normal form with respect to the term rewrite system rs and 'false' otherwise.

    Definition Classes
    Term
  31. def isReducible (rs: TRS): Boolean

    Definition Classes
    Term
  32. def isVar : Boolean

    Returns false.

    Returns false.

    Definition Classes
    FunTerm
  33. def matcheLs (ts: List[Term]): Boolean

    Returns true if this term matches at least one of the terms in ts.

    Returns true if this term matches at least one of the terms in ts.

    Definition Classes
    Term
  34. def matches (that: Term): Boolean

    Returns true if this term matches that term and false otherwise.

    Returns true if this term matches that term and false otherwise.

    Definition Classes
    Term
  35. def mmatch (that: Term): Subst

    Returns a matching substitution of this and that term if they can be matched.

    Returns a matching substitution of this and that term if they can be matched.

    Definition Classes
    Term
  36. val name : F

    the name of the function symbol

  37. def ne (arg0: AnyRef): Boolean

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

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

    Attributes
    final
    Definition Classes
    AnyRef
  40. def poss : Set[Pos]

    Returns the set of all positions, including the root position epsilon in this term.

    Returns the set of all positions, including the root position epsilon in this term.

    Definition Classes
    Term
  41. def possf : Set[Pos]

    Returns the set of all function positions in this term.

    Returns the set of all function positions in this term.

    Definition Classes
    Term
  42. def possv : Set[Pos]

    Returns the set of all variable positions in this term.

    Returns the set of all variable positions in this term.

    Definition Classes
    Term
  43. def productArity : Int

    Definition Classes
    Fun → Product
  44. def productElement (arg0: Int): Any

    Definition Classes
    Fun → Product
  45. def productIterator : Iterator[Any]

    Definition Classes
    Product
  46. def productPrefix : String

    Definition Classes
    Fun → Product
  47. def reduce (rs: TRS): Option[Term]

    A synonym for rewriteStep.

    A synonym for rewriteStep.

    Definition Classes
    Term
  48. def reducibleByRule (rs: TRS): Option[R]

    Definition Classes
    Term
  49. def rewrite (rs: TRS): Term

    Returns the resulting term if this term may be rewritten with respect to the term rewrite system rs and this term otherwise.

    Returns the resulting term if this term may be rewritten with respect to the term rewrite system rs and this term otherwise.

    Definition Classes
    Term
  50. def rewriteStep (rs: TRS): Option[Term]

    Returns the term you get when rewriting this term one time with respect to the term rewrite system rs and scala.None if no rewrite step is possible.

    Returns the term you get when rewriting this term one time with respect to the term rewrite system rs and scala.None if no rewrite step is possible.

    Definition Classes
    Term
  51. def rewriteToNF (itrs: ITRS): List[(Term, Int, Term)]

    Definition Classes
    Term
  52. def root : Right[Nothing, F]

    Returns scala.Right(function_name).

    Returns scala.Right(function_name).

    Definition Classes
    FunTerm
  53. def size : Int

    Returns the number of variables and function symbols contained in this term.

    Returns the number of variables and function symbols contained in this term.

    Definition Classes
    Term
  54. def strlen : Int

    Returns the length of the nice string version of this term (including whitespaces).

    Returns the length of the nice string version of this term (including whitespaces).

    Definition Classes
    Term
  55. def subsums (that: Term): Boolean

    Returns true if that term mathes this term.

    Returns true if that term mathes this term. Just the reversal of matches.

    Definition Classes
    Term
  56. def subterm (that: Term): Boolean

    Returns true if this term is a proper subterm of that term and false otherwise.

    Returns true if this term is a proper subterm of that term and false otherwise.

    Definition Classes
    Term
  57. def subtermeq (that: Term): Boolean

    Returns true if this term is a proper subterm of or equal to that term and false otherwise.

    Returns true if this term is a proper subterm of or equal to that term and false otherwise.

    Definition Classes
    Term
  58. def subterms : Set[Term]

    Returns the set of all subterms (including this term itself).

    Returns the set of all subterms (including this term itself).

    Definition Classes
    Term
  59. def synchronized [T0] (arg0: ⇒ T0): T0

    Attributes
    final
    Definition Classes
    AnyRef
  60. def toHtmlString : String

    Returns a html string of this term where variables are enclosed in <font>-tags with blue color.

    Returns a html string of this term where variables are enclosed in <font>-tags with blue color.

    Definition Classes
    Term
  61. def toNiceString : String

    Returns a nicer string representation of this term where variables are colored blue.

    Returns a nicer string representation of this term where variables are colored blue. Only works on Linux systems.

    Definition Classes
    Term
  62. def toString (): String

    Returns the string representation of this term.

    Returns the string representation of this term.

    Definition Classes
    Term → AnyRef → Any
  63. def unifiable (that: Term): Boolean

    Returns true if this and that term are unifiable and false otherwise.

    Returns true if this and that term are unifiable and false otherwise.

    Definition Classes
    Term
  64. def unify (that: Term): Subst

    Returns a unifying substitution of this and that term if they are unifiable.

    Returns a unifying substitution of this and that term if they are unifiable.

    Definition Classes
    Term
  65. def update (p: Pos, s: Term): Term

    Returns this term where only the subterm at position p was replaced with term s.

    Returns this term where only the subterm at position p was replaced with term s.

    Definition Classes
    Term
  66. def variantOf (that: Term): Boolean

    Returns true if this term is a variant of that term and false otherwise.

    Returns true if this term is a variant of that term and false otherwise.

    Definition Classes
    Term
  67. def vars : Set[V]

    Returns a set of all variable names contained in this term.

    Returns a set of all variable names contained in this term.

    Definition Classes
    Term
  68. def wait (): Unit

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

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

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

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 Term

Inherited from AnyRef

Inherited from Any