SMTOption

java.lang.Object
- org.sosy_lab.java_smt.solvers.opensmt.api.SMTOption

public class SMTOption
extends java.lang.Object

Field Summary

Fields
Modifier and Type Field Description

protected boolean swigCMemOwn

Constructor Summary

Constructors
Modifier	Constructor	Description
	`SMTOption(boolean b)`
	`SMTOption(double i)`
	`SMTOption(int i)`
`protected`	`SMTOption(long cPtr, boolean cMemoryOwn)`
	`SMTOption(java.lang.String s)`

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`void`	`delete()`
`protected void`	`finalize()`
`protected static long`	`getCPtr(SMTOption obj)`
`boolean`	`isEmpty()`
`protected static long`	`swigRelease(SMTOption obj)`
`java.lang.String`	`toString()`

Methods inherited from class java.lang.Object
clone, equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

swigCMemOwn

protected transient boolean swigCMemOwn

Constructor Detail

SMTOption

protected SMTOption(long cPtr,
                    boolean cMemoryOwn)

SMTOption
```
public SMTOption(int i)
```

SMTOption
```
public SMTOption(double i)
```

SMTOption

public SMTOption(java.lang.String s)

SMTOption
```
public SMTOption(boolean b)
```

Method Detail

getCPtr

protected static long getCPtr(SMTOption obj)

swigRelease

protected static long swigRelease(SMTOption obj)

finalize
```
protected void finalize()
```
Overrides:

finalize in class java.lang.Object

delete
```
public void delete()
```

isEmpty
```
public boolean isEmpty()
```

toString
```
public java.lang.String toString()
```
Overrides:

toString in class java.lang.Object