object
Commands
Type Members
-
case class
ALL() extends Logic with Product with Serializable
-
case class
AUFLIA() extends StandardLogic with Product with Serializable
-
case class
AUFLIRA() extends StandardLogic with Product with Serializable
-
case class
AUFNIRA() extends StandardLogic with Product with Serializable
-
-
case class
Assert(term: Term) extends Command with Product with Serializable
-
-
-
case class
AuthorsInfoFlag() extends InfoFlag with Product with Serializable
-
case class
CheckSat() extends Command with Product with Serializable
-
case class
CheckSatAssuming(propLiterals: Seq[PropLiteral]) extends Command with Product with Serializable
-
-
-
case class
Constructor(sym: SSymbol, fields: Seq[(SSymbol, Sort)]) extends Product with Serializable
-
case class
DeclareConst(name: SSymbol, sort: Sort) extends Command with Product with Serializable
-
-
case class
DeclareFun(name: SSymbol, paramSorts: Seq[Sort], returnSort: Sort) extends Command with Product with Serializable
-
case class
DeclareSort(name: SSymbol, arity: Int) extends Command with Product with Serializable
-
case class
DefineFun(funDef: FunDef) extends Command with Product with Serializable
-
case class
DefineFunRec(funDef: FunDef) extends Command with Product with Serializable
-
case class
DefineFunsRec(funDecls: Seq[FunDec], bodies: Seq[Term]) extends Command with Product with Serializable
-
case class
DefineSort(name: SSymbol, params: Seq[SSymbol], sort: Sort) extends Command with Product with Serializable
-
case class
DiagnosticOutputChannel(value: String) extends SMTOption with Product with Serializable
-
case class
Echo(value: SString) extends Command with Product with Serializable
-
-
case class
Exit() extends Command with Product with Serializable
-
case class
FunDec(name: SSymbol, params: Seq[SortedVar], returnSort: Sort) extends Product with Serializable
-
case class
FunDef(name: SSymbol, params: Seq[SortedVar], returnSort: Sort, body: Term) extends Product with Serializable
-
case class
GetAssertions() extends Command with Product with Serializable
-
case class
GetAssignment() extends Command with Product with Serializable
-
case class
GetInfo(flag: InfoFlag) extends Command with Product with Serializable
-
case class
GetModel() extends Command with Product with Serializable
-
case class
GetOption(key: SKeyword) extends Command with Product with Serializable
-
case class
GetProof() extends Command with Product with Serializable
-
case class
GetUnsatAssumptions() extends Command with Product with Serializable
-
case class
GetUnsatCore() extends Command with Product with Serializable
-
case class
GetValue(term: Term, terms: Seq[Term]) extends Command with Product with Serializable
-
case class
GlobalDeclarations(value: Boolean) extends SMTOption with Product with Serializable
-
-
case class
KeywordInfoFlag(keyword: String) extends InfoFlag with Product with Serializable
-
case class
LRA() extends StandardLogic with Product with Serializable
-
-
case class
NameInfoFlag() extends InfoFlag with Product with Serializable
-
case class
NonStandardLogic(sym: SSymbol) extends Logic with Product with Serializable
-
case class
Pop(n: Int) extends Command with Product with Serializable
-
case class
PrintSuccess(value: Boolean) extends SMTOption with Product with Serializable
-
case class
ProduceAssertions(value: Boolean) extends SMTOption with Product with Serializable
-
case class
ProduceAssignments(value: Boolean) extends SMTOption with Product with Serializable
-
case class
ProduceModels(value: Boolean) extends SMTOption with Product with Serializable
-
case class
ProduceProofs(value: Boolean) extends SMTOption with Product with Serializable
-
case class
ProduceUnsatAssumptions(value: Boolean) extends SMTOption with Product with Serializable
-
case class
ProduceUnsatCores(value: Boolean) extends SMTOption with Product with Serializable
-
case class
PropLiteral(symbol: SSymbol, polarity: Boolean) extends Positioned with Product with Serializable
-
case class
Push(n: Int) extends Command with Product with Serializable
-
case class
QF_ABV() extends StandardLogic with Product with Serializable
-
case class
QF_AUFBV() extends StandardLogic with Product with Serializable
-
case class
QF_AUFLIA() extends StandardLogic with Product with Serializable
-
case class
QF_AX() extends StandardLogic with Product with Serializable
-
case class
QF_BV() extends StandardLogic with Product with Serializable
-
case class
QF_IDL() extends StandardLogic with Product with Serializable
-
case class
QF_LIA() extends StandardLogic with Product with Serializable
-
case class
QF_LRA() extends StandardLogic with Product with Serializable
-
case class
QF_NIA() extends StandardLogic with Product with Serializable
-
case class
QF_NRA() extends StandardLogic with Product with Serializable
-
case class
QF_RDL() extends StandardLogic with Product with Serializable
-
case class
QF_UF() extends StandardLogic with Product with Serializable
-
case class
QF_UFBV() extends StandardLogic with Product with Serializable
-
case class
QF_UFIDL() extends StandardLogic with Product with Serializable
-
case class
QF_UFLIA() extends StandardLogic with Product with Serializable
-
case class
QF_UFLRA() extends StandardLogic with Product with Serializable
-
case class
QF_UFNRA() extends StandardLogic with Product with Serializable
-
case class
RandomSeed(value: Int) extends SMTOption with Product with Serializable
-
-
case class
RegularOutputChannel(value: String) extends SMTOption with Product with Serializable
-
-
case class
Reset() extends Command with Product with Serializable
-
case class
ResetAssertions() extends Command with Product with Serializable
-
-
case class
Script(commands: List[Command]) extends Product with Serializable
-
case class
SetInfo(attribute: Attribute) extends Command with Product with Serializable
-
case class
SetLogic(logic: Logic) extends Command with Product with Serializable
-
case class
SetOption(option: SMTOption) extends Command with Product with Serializable
-
-
case class
UFLRA() extends StandardLogic with Product with Serializable
-
case class
UFNIA() extends StandardLogic with Product with Serializable
-
case class
Verbosity(value: Int) extends SMTOption with Product with Serializable
-
case class
VersionInfoFlag() extends InfoFlag with Product with Serializable
-
Value Members
-
final
def
!=(arg0: AnyRef): Boolean
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: AnyRef): Boolean
-
final
def
==(arg0: Any): Boolean
-
-
final
def
asInstanceOf[T0]: T0
-
def
clone(): AnyRef
-
final
def
eq(arg0: AnyRef): Boolean
-
def
equals(arg0: Any): Boolean
-
def
finalize(): Unit
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
final
def
isInstanceOf[T0]: Boolean
-
final
def
ne(arg0: AnyRef): Boolean
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
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