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

Class LogicFactory

java.lang.Object

org.sosy_lab.java_smt.solvers.opensmt.api.LogicFactory

public class LogicFactory
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field	Description
protected boolean	swigCMemOwn

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	LogicFactory(long cPtr, boolean cMemoryOwn)

Method Summary

Modifier and Type	Method	Description
void	delete()
protected void	finalize()
protected static long	getCPtr(LogicFactory obj)
static Logic	getInstance(Logic_t arg0)
static ArithLogic	getLAInstance(Logic_t arg0)
static ArithLogic	getLIAInstance()
static ArithLogic	getLRAInstance()
static java.lang.String	getVersion()
protected static long	swigRelease(LogicFactory obj)

Methods inherited from class java.lang.Object

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

Field Detail

swigCMemOwn

protected transient boolean swigCMemOwn

Constructor Detail

LogicFactory

protected LogicFactory(long cPtr,
                       boolean cMemoryOwn)

Method Detail

getCPtr

protected static long getCPtr(LogicFactory obj)

swigRelease

protected static long swigRelease(LogicFactory obj)

finalize

protected void finalize()

Overrides:

finalize in class java.lang.Object

delete

public void delete()

getInstance

public static Logic getInstance(Logic_t arg0)

getLAInstance

public static ArithLogic getLAInstance(Logic_t arg0)

getLRAInstance

public static ArithLogic getLRAInstance()

getLIAInstance

public static ArithLogic getLIAInstance()

getVersion

public static java.lang.String getVersion()