Class

ap.parser

IFormula

Related Doc: package parser

Permalink

abstract class IFormula extends IExpression

Abstract class representing formulae in input-syntax.

Linear Supertypes
IExpression, AnyRef, Any
Known Subclasses
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. IFormula
  2. IExpression
  3. AnyRef
  4. Any
  1. Hide All
  2. Show all
Visibility
  1. Public
  2. All

Instance Constructors

  1. new IFormula()

    Permalink

Value Members

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

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. def &(that: IFormula): IFormula

    Permalink

    Conjunction of two formulas.

  4. def &&&(that: IFormula): IFormula

    Permalink

    Conjunction operator that directly simplify expressions involving true/false.

  5. def </>(that: IFormula): IFormula

    Permalink

    Exclusive-or of two formulas.

  6. def <===>(that: IFormula): IFormula

    Permalink

    Equivalence operator that directly simplify expressions involving true/false.

  7. def <=>(that: IFormula): IFormula

    Permalink

    Equivalence of two formulas.

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

    Permalink
    Definition Classes
    AnyRef → Any
  9. def ===>(that: IFormula): IFormula

    Permalink

    Implication operator that directly simplify expressions involving true/false.

  10. def ==>(that: IFormula): IFormula

    Permalink

    Implication between two formulas.

  11. def andSimplify(that: IFormula): IFormula

    Permalink

    Conjunction operator that directly simplify expressions involving true/false.

  12. def apply(i: Int): IExpression

    Permalink

    Return the ith sub-expression.

    Return the ith sub-expression.

    Definition Classes
    IExpression
  13. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  14. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  15. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  16. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  17. def eqvSimplify(that: IFormula): IFormula

    Permalink

    Equivalence operator that directly simplify expressions involving true/false.

  18. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  19. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  20. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  21. def impSimplify(that: IFormula): IFormula

    Permalink

    Disjunction operator that directly simplify expressions involving true/false.

  22. def isFalse: Boolean

    Permalink

    Incomplete check whether the given formula is unsatisfiable.

  23. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  24. def isTrue: Boolean

    Permalink

    Incomplete check whether the given formula is valid.

  25. def iterator: Iterator[IExpression]

    Permalink

    Iterator over the sub-expressions of this expression.

    Iterator over the sub-expressions of this expression.

    Definition Classes
    IExpression
  26. def length: Int

    Permalink

    Number of sub-expressions.

    Number of sub-expressions.

    Definition Classes
    IExpression
  27. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  28. def notSimplify: IFormula

    Permalink

    Negation of a formula, with direct simplification.

  29. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  30. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  31. def orSimplify(that: IFormula): IFormula

    Permalink

    Disjunction operator that directly simplify expressions involving true/false.

  32. def subExpressions: IndexedSeq[IExpression]

    Permalink

    The sub-expressions of this expression.

    The sub-expressions of this expression.

    Definition Classes
    IExpression
  33. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  34. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  35. def unary_!: IFormula

    Permalink

    Negation of a formula.

  36. def unary_~: IFormula

    Permalink

    Negation of a formula, with direct simplification.

  37. def update(newSubExprs: Seq[IExpression]): IFormula

    Permalink

    Replace the subexpressions of this node with new expressions

    Replace the subexpressions of this node with new expressions

    Definition Classes
    IFormulaIExpression
  38. final def wait(): Unit

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

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  41. def |(that: IFormula): IFormula

    Permalink

    Disjunction of two formulas.

  42. def |||(that: IFormula): IFormula

    Permalink

    Disjunction operator that directly simplify expressions involving true/false.

Inherited from IExpression

Inherited from AnyRef

Inherited from Any

Ungrouped