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

Class SMTConfig

java.lang.Object

org.sosy_lab.java_smt.solvers.opensmt.api.SMTConfig

public class SMTConfig
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field	Description
protected boolean	swigCMemOwn

Constructor Summary

Constructors

Modifier	Constructor	Description
	SMTConfig()
protected	SMTConfig(long cPtr, boolean cMemoryOwn)
	SMTConfig(SMTConfig arg0)

Method Summary

Modifier and Type	Method	Description
void	delete()
protected void	finalize()
protected static long	getCPtr(SMTConfig obj)
static java.lang.String	getO_produce_unsat_cores()
boolean	produce_proof()
boolean	produce_unsat_cores()
static void	setO_produce_unsat_cores(java.lang.String value)
void	setOption(java.lang.String option, SMTOption value)
void	setProduceProofs()
protected static long	swigRelease(SMTConfig 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

SMTConfig

protected SMTConfig(long cPtr,
                    boolean cMemoryOwn)

SMTConfig

public SMTConfig()

SMTConfig

public SMTConfig(SMTConfig arg0)

Method Detail

getCPtr

protected static long getCPtr(SMTConfig obj)

swigRelease

protected static long swigRelease(SMTConfig obj)

finalize

protected void finalize()

Overrides:

finalize in class java.lang.Object

delete

public void delete()

setO_produce_unsat_cores

public static void setO_produce_unsat_cores(java.lang.String value)

getO_produce_unsat_cores

public static java.lang.String getO_produce_unsat_cores()

setProduceProofs

public void setProduceProofs()

produce_unsat_cores

public boolean produce_unsat_cores()

produce_proof

public boolean produce_proof()

setOption

public void setOption(java.lang.String option,
                      SMTOption value)