sstat

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

public class sstat
extends java.lang.Object

Field Summary

Fields
Modifier and Type Field Description

protected boolean swigCMemOwn

Constructor Summary

Constructors
Modifier Constructor Description

protected sstat(long cPtr, boolean cMemoryOwn)

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`void`	`delete()`
`boolean`	`equals(java.lang.Object object)`
`static sstat`	`Error()`
`static sstat`	`False()`
`protected void`	`finalize()`
`protected static long`	`getCPtr(sstat obj)`
`char`	`getValue()`
`int`	`hashCode()`
`protected static long`	`swigRelease(sstat obj)`
`java.lang.String`	`toString()`
`static sstat`	`True()`
`static sstat`	`Undef()`

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

Field Detail

swigCMemOwn

protected transient boolean swigCMemOwn

Constructor Detail

sstat

protected sstat(long cPtr,
                boolean cMemoryOwn)

Method Detail

getCPtr

protected static long getCPtr(sstat obj)

swigRelease

protected static long swigRelease(sstat obj)

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

finalize in class java.lang.Object

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

equals

public boolean equals(java.lang.Object object)

Overrides:: equals in class java.lang.Object

hashCode
```
public int hashCode()
```
Overrides:

hashCode in class java.lang.Object

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

toString in class java.lang.Object

getValue
```
public char getValue()
```

True
```
public static sstat True()
```

False
```
public static sstat False()
```

Undef
```
public static sstat Undef()
```

Error
```
public static sstat Error()
```