object
SolverFactory
Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: Any): Boolean
-
def
apply(p: InoxProgram, opts: Options): SolverFactory { ... /* 2 definitions in type refinement */ }
-
def
apply(name: String, p: InoxProgram, opts: Options, force: Boolean = false): SolverFactory { ... /* 2 definitions in type refinement */ }
-
final
def
asInstanceOf[T0]: T0
-
def
clone(): AnyRef
-
def
create[S1 <: Solver](p: Program)(nme: String, builder: () ⇒ S1 { val program: p.type }): SolverFactory { ... /* 2 definitions in type refinement */ }
-
def
default(p: InoxProgram): SolverFactory { ... /* 2 definitions in type refinement */ }
-
final
def
eq(arg0: AnyRef): Boolean
-
def
equals(arg0: Any): Boolean
-
def
finalize(): Unit
-
final
def
getClass(): Class[_]
-
def
getFromName(name: String, force: Boolean = false)(p: Program, opts: Options)(enc: ProgramTransformer { ... /* 2 definitions in type refinement */ })(implicit sem: Program.Semantics): SolverFactory { ... /* 2 definitions in type refinement */ }
-
def
getFromSettings(p: Program, opts: Options)(enc: ProgramTransformer { ... /* 2 definitions in type refinement */ })(implicit sem: Program.Semantics): SolverFactory { ... /* 2 definitions in type refinement */ }
-
lazy val
hasCVC4: Boolean
-
lazy val
hasNativeZ3: Boolean
-
lazy val
hasZ3: Boolean
-
def
hashCode(): Int
-
final
def
isInstanceOf[T0]: Boolean
-
final
def
ne(arg0: AnyRef): Boolean
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
val
solverNames: Map[String, String]
-
val
solvers: Set[String]
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toString(): String
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
Inherited from AnyRef
Inherited from Any
