SatSoundnessConfig

Type Members

class Val extends Value with Serializable

Attributes
protected
Definition Classes
Enumeration
Annotations
@SerialVersionUID()
abstract class Value extends Ordered[Value] with Serializable

Definition Classes
Enumeration
Annotations
@SerialVersionUID()
class ValueSet extends AbstractSet[Value] with SortedSet[Value] with SortedSetLike[Value, ValueSet] with Serializable

Definition Classes
Enumeration

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
val Elementary: Value

Apart from symbols defined in the theories, only constants exist in a problem.
Apart from symbols defined in the theories, only constants exist in a problem. All quantifiers are existential (in the antecedent).
val Existential: Value

In addition to symbols defined in the theories, also constants, uninterpreted predicates, and uninterpreted functions can exist.
In addition to symbols defined in the theories, also constants, uninterpreted predicates, and uninterpreted functions can exist. Uninterpreted predicates or uninterpreted partial functions can be defined through e-matching. All other quantifiers are existential (in the antecedent), and in particular there are no function totality axioms.
val General: Value

In addition to symbols defined in the theories, also constants, uninterpreted predicates, uninterpreted functions, and arbitrary quantifiers can exist.
final def Value(i: Int, name: String): Value

Attributes
protected
Definition Classes
Enumeration
final def Value(name: String): Value

Attributes
protected
Definition Classes
Enumeration
final def Value(i: Int): Value

Attributes
protected
Definition Classes
Enumeration
final def Value: Value

Attributes
protected
Definition Classes
Enumeration
final def apply(x: Int): Value

Definition Classes
Enumeration
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@HotSpotIntrinsicCandidate() @throws( ... )
final def eq(arg0: AnyRef): Boolean

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

Definition Classes
AnyRef → Any
final def getClass(): Class[_]

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

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

Definition Classes
Any
final def maxId: Int

Definition Classes
Enumeration
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
var nextId: Int

Attributes
protected
Definition Classes
Enumeration
var nextName: Iterator[String]

Attributes
protected
Definition Classes
Enumeration
final def notify(): Unit

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

Definition Classes
AnyRef
Annotations
@HotSpotIntrinsicCandidate()
def readResolve(): AnyRef

Attributes
protected
Definition Classes
Enumeration
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
Enumeration → AnyRef → Any
def values: ValueSet

Definition Classes
Enumeration
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( ... )
final def withName(s: String): Value

Definition Classes
Enumeration

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 Theory

object SatSoundnessConfig extends Enumeration

Type Members

class Val extends Value with Serializable

abstract class Value extends Ordered[Value] with Serializable

class ValueSet extends AbstractSet[Value] with SortedSet[Value] with SortedSetLike[Value, ValueSet] with Serializable

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

val Elementary: Value

val Existential: Value

val General: Value

final def Value(i: Int, name: String): Value

final def Value(name: String): Value

final def Value(i: Int): Value

final def Value: Value

final def apply(x: Int): Value

final def asInstanceOf[T0]: T0

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

final def maxId: Int

final def ne(arg0: AnyRef): Boolean

var nextId: Int

var nextName: Iterator[String]

final def notify(): Unit

final def notifyAll(): Unit

def readResolve(): AnyRef

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

def toString(): String

def values: ValueSet

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

final def wait(arg0: Long): Unit

final def wait(): Unit

final def withName(s: String): Value

Deprecated Value Members

def finalize(): Unit

Inherited from Enumeration

Inherited from Serializable

Inherited from Serializable

Inherited from AnyRef

Inherited from Any

Ungrouped