Object

cafesat.asts.core

Manip

Related Doc: package core

Permalink

object Manip

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Manip
  2. AnyRef
  3. Any
  1. Hide All
  2. Show all
Visibility
  1. Public
  2. All

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  4. def alphaRenaming(formula: Formula): Formula

    Permalink

  5. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  6. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  7. def contains(f: Formula, elem: Term): Boolean

    Permalink

  8. def contains(t: Term, elem: Term): Boolean

    Permalink

  9. def count(f: Formula, pf: (Formula) ⇒ Boolean): Int

    Permalink

  10. def count(t: Term, pt: (Term) ⇒ Boolean): Int

    Permalink

  11. def count(f: Formula, pf: (Formula) ⇒ Boolean, pt: (Term) ⇒ Boolean): Int

    Permalink

  12. def count(t: Term, pf: (Formula) ⇒ Boolean, pt: (Term) ⇒ Boolean): Int

    Permalink

  13. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  14. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  15. def exists(f: Formula, pf: (Formula) ⇒ Boolean): Boolean

    Permalink

  16. def exists(t: Term, pt: (Term) ⇒ Boolean): Boolean

    Permalink

  17. def exists(f: Formula, pf: (Formula) ⇒ Boolean, pt: (Term) ⇒ Boolean): Boolean

    Permalink

  18. def exists(t: Term, pf: (Formula) ⇒ Boolean, pt: (Term) ⇒ Boolean): Boolean

    Permalink

  19. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  20. def findAndMap(t: Term, pf: (Formula) ⇒ Boolean, pt: (Term) ⇒ Boolean, ff: (Formula) ⇒ Formula, ft: (Term) ⇒ Term): (Term, Boolean)

    Permalink

  21. def findAndMap(f: Formula, pf: (Formula) ⇒ Boolean, pt: (Term) ⇒ Boolean, ff: (Formula) ⇒ Formula, ft: (Term) ⇒ Term): (Formula, Boolean)

    Permalink

  22. def foldPostorder[A](f: Formula, z: A, bv: List[Variable])(ff: (A, Formula) ⇒ A, ft: (A, Term) ⇒ A): A

    Permalink

  23. def foldPostorder[A](f: Formula, z: A)(ff: (A, Formula) ⇒ A, ft: (A, Term) ⇒ A): A

    Permalink

  24. def foldPostorder[A](t: Term, z: A, bv: List[Variable])(ff: (A, Formula) ⇒ A, ft: (A, Term) ⇒ A): A

    Permalink

  25. def foldPostorder[A](t: Term, z: A)(ff: (A, Formula) ⇒ A, ft: (A, Term) ⇒ A): A

    Permalink

  26. def foldPreorder[A](f: Formula, z: A, bv: List[Variable])(ff: (A, Formula) ⇒ A, ft: (A, Term) ⇒ A): A

    Permalink

  27. def foldPreorder[A](f: Formula, z: A)(ff: (A, Formula) ⇒ A, ft: (A, Term) ⇒ A): A

    Permalink

  28. def foldPreorder[A](t: Term, z: A, bv: List[Variable])(ff: (A, Formula) ⇒ A, ft: (A, Term) ⇒ A): A

    Permalink

  29. def foldPreorder[A](t: Term, z: A)(ff: (A, Formula) ⇒ A, ft: (A, Term) ⇒ A): A

    Permalink

  30. def forall(f: Formula, pf: (Formula) ⇒ Boolean): Boolean

    Permalink

  31. def forall(t: Term, pt: (Term) ⇒ Boolean): Boolean

    Permalink

  32. def forall(f: Formula, pf: (Formula) ⇒ Boolean, pt: (Term) ⇒ Boolean): Boolean

    Permalink

  33. def forall(t: Term, pf: (Formula) ⇒ Boolean, pt: (Term) ⇒ Boolean): Boolean

    Permalink

  34. def foreachPostorder(f: Formula, ff: (Formula) ⇒ Unit, ft: (Term) ⇒ Unit): Unit

    Permalink

  35. def foreachPostorder(t: Term, ff: (Formula) ⇒ Unit, ft: (Term) ⇒ Unit): Unit

    Permalink

  36. def foreachPreorder(f: Formula, ff: (Formula) ⇒ Unit, ft: (Term) ⇒ Unit): Unit

    Permalink

  37. def foreachPreorder(t: Term, ff: (Formula) ⇒ Unit, ft: (Term) ⇒ Unit): Unit

    Permalink

  38. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any

  39. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  40. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  41. def mapPostorder(f: Formula, ff: (Formula) ⇒ Formula, ft: (Term) ⇒ Term): Formula

    Permalink

  42. def mapPostorder(t: Term, ff: (Formula) ⇒ Formula, ft: (Term) ⇒ Term): Term

    Permalink

  43. def mapPreorder(f: Formula, ff: (Formula) ⇒ Formula, ft: (Term) ⇒ Term): Formula

    Permalink

  44. def mapPreorder(t: Term, ff: (Formula) ⇒ Formula, ft: (Term) ⇒ Term): Term

    Permalink

  45. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  46. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  47. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  48. def size(f: Formula): Int

    Permalink

  49. def size(t: Term): Int

    Permalink

  50. def substitute(f: Formula, oldVar: Variable, newT: Term): Formula

    Permalink

  51. def substitute(f: Formula, m: Map[Variable, Term]): Formula

    Permalink

  52. def substitute(t: Term, oldVar: Variable, newT: Term): Term

    Permalink

  53. def substitute(t: Term, m: Map[Variable, Term]): Term

    Permalink

  54. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef

  55. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

  56. def vars(f: Formula): Set[Variable]

    Permalink

  57. def vars(t: Term): Set[Variable]

    Permalink

  58. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  59. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  60. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from AnyRef

Inherited from Any

Ungrouped