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

Class SymRef

java.lang.Object

org.sosy_lab.java_smt.solvers.opensmt.api.SymRef

public class SymRef
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field	Description
protected boolean	swigCMemOwn

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
void	delete()
boolean	equals(java.lang.Object object)
protected void	finalize()
protected static long	getCPtr(SymRef obj)
long	getX()
int	hashCode()
void	setX(long value)
protected static long	swigRelease(SymRef obj)

Methods inherited from class java.lang.Object

clone, getClass, notify, notifyAll, toString, wait, wait, wait

Field Detail

swigCMemOwn

protected transient boolean swigCMemOwn

Constructor Detail

SymRef

protected SymRef(long cPtr,
                 boolean cMemoryOwn)

Method Detail

getCPtr

protected static long getCPtr(SymRef obj)

swigRelease

protected static long swigRelease(SymRef 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

setX

public void setX(long value)

getX

public long getX()