APIStack

Instance Constructors

new APIStack()

Value Members

final def !=(arg0: Any): Boolean

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

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
var abbrevFunctions: Set[IFunction]
var abbrevPredicates: Map[Predicate, (Int, Predicate)]
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clearStack: Unit
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@HotSpotIntrinsicCandidate() @throws( ... )
var constructProofs: Boolean
var currentOrder: TermOrder
var currentPartitionNum: Int
var currentProver: IncProver
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
var existentialConstants: Set[ConstantTerm]
var formulaeInProver: LinkedHashMap[Conjunction, Int]
def frameNum: Int
var functionEnc: FunctionEncoder
var functionalPreds: Set[Predicate]
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
Annotations
@HotSpotIntrinsicCandidate()
def hashCode(): Int

Definition Classes
AnyRef → Any
Annotations
@HotSpotIntrinsicCandidate()
var ignoredQuantifiers: Boolean
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
var lastStatus: SimpleAPI.ProverStatus.Value
var matchedTotalFunctions: Boolean
var mostGeneralConstraints: Boolean
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
var needExhaustiveProver: Boolean
final def notify(): Unit

Definition Classes
AnyRef
Annotations
@HotSpotIntrinsicCandidate()
final def notifyAll(): Unit

Definition Classes
AnyRef
Annotations
@HotSpotIntrinsicCandidate()
def popAPIFrame: Unit
var predicateMatchConfig: PredicateMatchConfig
def pushAPIFrame: Unit
def resetAPIConfig: Unit
def resetAPIFormulas: Unit
def resetAPIOptions: Unit
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
var theoryCollector: TheoryCollector
var theoryPlugin: Option[Plugin]
def toString(): String

Definition Classes
AnyRef → Any
var validityMode: Boolean
final def wait(arg0: Long, arg1: Int): Unit

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

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

Deprecated Value Members

def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@Deprecated @deprecated @throws( classOf[java.lang.Throwable] )
Deprecated
(Since version ) see corresponding Javadoc for more information.

Related Doc: package api

class APIStack extends AnyRef

Instance Constructors

new APIStack()

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

var abbrevFunctions: Set[IFunction]

var abbrevPredicates: Map[Predicate, (Int, Predicate)]

final def asInstanceOf[T0]: T0

def clearStack: Unit

def clone(): AnyRef

var constructProofs: Boolean

var currentOrder: TermOrder

var currentPartitionNum: Int

var currentProver: IncProver

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

var existentialConstants: Set[ConstantTerm]

var formulaeInProver: LinkedHashMap[Conjunction, Int]

def frameNum: Int

var functionEnc: FunctionEncoder

var functionalPreds: Set[Predicate]

final def getClass(): Class[_]

def hashCode(): Int

var ignoredQuantifiers: Boolean

final def isInstanceOf[T0]: Boolean

var lastStatus: SimpleAPI.ProverStatus.Value

var matchedTotalFunctions: Boolean

var mostGeneralConstraints: Boolean

final def ne(arg0: AnyRef): Boolean

var needExhaustiveProver: Boolean

final def notify(): Unit

final def notifyAll(): Unit

def popAPIFrame: Unit

var predicateMatchConfig: PredicateMatchConfig

def pushAPIFrame: Unit

def resetAPIConfig: Unit

def resetAPIFormulas: Unit

def resetAPIOptions: Unit

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

var theoryCollector: TheoryCollector

var theoryPlugin: Option[Plugin]

def toString(): String

var validityMode: Boolean

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

final def wait(arg0: Long): Unit

final def wait(): Unit

Deprecated Value Members

def finalize(): Unit

Inherited from AnyRef

Inherited from Any

Ungrouped