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

Class SSymRef

java.lang.Object

org.sosy_lab.java_smt.solvers.opensmt.api.SSymRef

public class SSymRef
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field	Description
protected boolean	swigCMemOwn

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	SSymRef(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(SSymRef obj)
long	getX()
int	hashCode()
void	setX(long value)
protected static long	swigRelease(SSymRef 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

SSymRef

protected SSymRef(long cPtr,
                  boolean cMemoryOwn)

Method Detail

getCPtr

protected static long getCPtr(SSymRef obj)

swigRelease

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