Class

ostrich.cesolver.core.finalConstraintsSolver

BaselineSolver

Related Doc: package finalConstraintsSolver

Permalink

class BaselineSolver extends FinalConstraintsSolver[BaselineFinalConstraints]

Linear Supertypes
FinalConstraintsSolver[BaselineFinalConstraints], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. BaselineSolver
  2. FinalConstraintsSolver
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new BaselineSolver(flags: OFlags, lProver: SimpleAPI)

    Permalink

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 addConstraint(t: ITerm, auts: Seq[CostEnrichedAutomatonBase]): Unit

    Permalink
    Definition Classes
    BaselineSolver → FinalConstraintsSolver

  5. def addConstraint(c: BaselineFinalConstraints): Unit

    Permalink
    Definition Classes
    FinalConstraintsSolver

  6. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  7. def cleanConstaints: Unit

    Permalink
    Definition Classes
    FinalConstraintsSolver

  8. def clone(): AnyRef

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

  9. var constraints: Seq[BaselineFinalConstraints]

    Permalink
    Attributes
    protected
    Definition Classes
    FinalConstraintsSolver

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

    Permalink
    Definition Classes
    AnyRef

  11. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  12. def finalize(): Unit

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

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

    Permalink
    Definition Classes
    AnyRef → Any

  14. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  15. var integerTerms: Set[ITerm]

    Permalink
    Attributes
    protected
    Definition Classes
    FinalConstraintsSolver

  16. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  17. val lProver: SimpleAPI

    Permalink

  18. def measureTimeSolve: Result

    Permalink
    Definition Classes
    FinalConstraintsSolver

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

    Permalink
    Definition Classes
    AnyRef

  20. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  21. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  22. def setIntegerTerm(terms: Set[ITerm]): Unit

    Permalink
    Definition Classes
    FinalConstraintsSolver

  23. def solve: Result

    Permalink
    Definition Classes
    BaselineSolver → FinalConstraintsSolver

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

    Permalink
    Definition Classes
    AnyRef

  25. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

  26. final def wait(): Unit

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

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

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

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

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

Inherited from FinalConstraintsSolver[BaselineFinalConstraints]

Inherited from AnyRef

Inherited from Any

Ungrouped