Object

cafesat.asts.fol

Manip

Related Doc: package fol

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. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  5. def basicForm(formula: Formula): Formula

    Permalink

  6. def clausalNormalForm(formula: Formula): Formula

    Permalink

  7. def clone(): AnyRef

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

  8. def conjunctiveNormalForm(formula: Formula): Formula

    Permalink

  9. def conjunctiveNormalFormEquisat(formula: Formula): Formula

    Permalink

  10. def consts(f: Formula): Set[FunctionApplication]

    Permalink

  11. def consts(t: Term): Set[FunctionApplication]

    Permalink

  12. def disjunctiveNormalForm(formula: Formula): Formula

    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 finalize(): Unit

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

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

    Permalink
    Definition Classes
    AnyRef → Any

  17. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  18. def isBasicForm(formula: Formula): Boolean

    Permalink

  19. def isConjunctiveNormalForm(formula: Formula): Boolean

    Permalink

  20. def isDisjunctiveNormalForm(formula: Formula): Boolean

    Permalink

  21. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  22. def isNegationNormalForm(formula: Formula): Boolean

    Permalink

  23. def isPrenexNormalForm(formula: Formula): Boolean

    Permalink

  24. def isQuantifierFree(f: Formula): Boolean

    Permalink

  25. def isSkolemNormalForm(formula: Formula): Boolean

    Permalink

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

    Permalink
    Definition Classes
    AnyRef

  27. def negationNormalForm(formula: Formula): Formula

    Permalink

  28. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  29. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  30. def prenexNormalForm(formula: Formula): Formula

    Permalink

  31. def propVars(f: Formula): Set[PredicateApplication]

    Permalink

  32. def propVars(t: Term): Set[PredicateApplication]

    Permalink

  33. def simplify(formula: Formula): Formula

    Permalink

  34. def skolemNormalForm(formula: Formula): Formula

    Permalink

  35. def substituteConst(t: Term, fun: FunctionApplication, nt: Term): Term

    Permalink

  36. def substituteConst(t: Term, m: Map[FunctionApplication, Term]): Term

    Permalink

  37. def substituteConst(f: Formula, fun: FunctionApplication, nt: Term): Formula

    Permalink

  38. def substituteConst(f: Formula, m: Map[FunctionApplication, Term]): Formula

    Permalink

  39. def substitutePropVar(f: Formula, p: PredicateApplication, newF: Formula): Formula

    Permalink

  40. def substitutePropVar(f: Formula, m: Map[PredicateApplication, Formula]): Formula

    Permalink

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

    Permalink
    Definition Classes
    AnyRef

  42. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

  43. final def wait(): Unit

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

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

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

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

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

Inherited from AnyRef

Inherited from Any

Ungrouped