object
Commands
Type Members
-
case class
Assert(term: Term) extends Command 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
-
sealed abstract
class
InfoFlag extends AnyRef
-
case class
KeywordInfoFlag(keyword: String) extends InfoFlag with Product with Serializable
-
trait
Logic extends AnyRef
-
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 Product with Serializable
-
case class
Push(n: Int) extends Command 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
-
sealed abstract
class
SMTOption extends AnyRef
-
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
Verbosity(value: Int) extends SMTOption with Product with Serializable
-
Deprecated Value Members
-
Inherited from AnyRef
Inherited from Any