Pterm

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

public class Pterm
extends java.lang.Object

Field Summary

Fields
Modifier and Type Field Description

protected boolean swigCMemOwn

Constructor Summary

Constructors
Modifier Constructor Description

protected Pterm(long cPtr, boolean cMemoryOwn)

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`PTRef`	`at(int i)`
`void`	`delete()`
`protected void`	`finalize()`
`VectorPTRef`	`getArgs()`
`protected static long`	`getCPtr(Pterm obj)`
`int`	`size()`
`protected static long`	`swigRelease(Pterm obj)`
`SymRef`	`symb()`

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

Pterm

protected Pterm(long cPtr,
                boolean cMemoryOwn)

Method Detail

getCPtr

protected static long getCPtr(Pterm obj)

swigRelease

protected static long swigRelease(Pterm obj)

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

finalize in class java.lang.Object

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

size
```
public int size()
```

symb
```
public SymRef symb()
```

getArgs
```
public VectorPTRef getArgs()
```

at
```
public PTRef at(int i)
```