Package org.sosy_lab.java_smt.solvers.opensmt.api

Class Logic_t

java.lang.Object

org.sosy_lab.java_smt.solvers.opensmt.api.Logic_t

public final class Logic_t
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field	Description
static Logic_t	EMPTY
static Logic_t	QF_ALIA
static Logic_t	QF_ALRA
static Logic_t	QF_AUFBV
static Logic_t	QF_AUFLIA
static Logic_t	QF_AUFLIRA
static Logic_t	QF_AUFLRA
static Logic_t	QF_AX
static Logic_t	QF_AXDIFF
static Logic_t	QF_BOOL
static Logic_t	QF_BV
static Logic_t	QF_CUF
static Logic_t	QF_IDL
static Logic_t	QF_LIA
static Logic_t	QF_LIRA
static Logic_t	QF_LRA
static Logic_t	QF_NIA
static Logic_t	QF_NIRA
static Logic_t	QF_NRA
static Logic_t	QF_RDL
static Logic_t	QF_UF
static Logic_t	QF_UFBV
static Logic_t	QF_UFIDL
static Logic_t	QF_UFLIA
static Logic_t	QF_UFLRA
static Logic_t	QF_UFRDL
static Logic_t	UNDEF

Method Summary

Modifier and Type	Method	Description
static Logic_t	swigToEnum(int swigValue)
int	swigValue()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

UNDEF

public static final Logic_t UNDEF

EMPTY

public static final Logic_t EMPTY

QF_UF

public static final Logic_t QF_UF

QF_CUF

public static final Logic_t QF_CUF

QF_BV

public static final Logic_t QF_BV

QF_RDL

public static final Logic_t QF_RDL

QF_IDL

public static final Logic_t QF_IDL

QF_LRA

public static final Logic_t QF_LRA

QF_LIA

public static final Logic_t QF_LIA

QF_NIA

public static final Logic_t QF_NIA

QF_NRA

public static final Logic_t QF_NRA

QF_LIRA

public static final Logic_t QF_LIRA

QF_NIRA

public static final Logic_t QF_NIRA

QF_UFRDL

public static final Logic_t QF_UFRDL

QF_UFIDL

public static final Logic_t QF_UFIDL

QF_UFLRA

public static final Logic_t QF_UFLRA

QF_UFLIA

public static final Logic_t QF_UFLIA

QF_UFBV

public static final Logic_t QF_UFBV

QF_AX

public static final Logic_t QF_AX

QF_AXDIFF

public static final Logic_t QF_AXDIFF

QF_ALRA

public static final Logic_t QF_ALRA

QF_ALIA

public static final Logic_t QF_ALIA

QF_AUFLRA

public static final Logic_t QF_AUFLRA

QF_AUFLIA

public static final Logic_t QF_AUFLIA

QF_BOOL

public static final Logic_t QF_BOOL

QF_AUFBV

public static final Logic_t QF_AUFBV

QF_AUFLIRA

public static final Logic_t QF_AUFLIRA

Method Detail

swigValue

public final int swigValue()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

swigToEnum

public static Logic_t swigToEnum(int swigValue)