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

Class TemplateFunction

java.lang.Object

org.sosy_lab.java_smt.solvers.opensmt.api.TemplateFunction

public class TemplateFunction
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field	Description
protected boolean	swigCMemOwn

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	TemplateFunction(long cPtr, boolean cMemoryOwn)
	TemplateFunction(java.lang.String name, VectorPTRef args_, SRef ret_sort, PTRef tr_body)

Method Summary

Modifier and Type	Method	Description
void	delete()
protected void	finalize()
VectorPTRef	getArgs()
PTRef	getBody()
protected static long	getCPtr(TemplateFunction obj)
java.lang.String	getName()
SRef	getRetSort()
protected static long	swigRelease(TemplateFunction obj)

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

TemplateFunction

protected TemplateFunction(long cPtr,
                           boolean cMemoryOwn)

TemplateFunction

public TemplateFunction(java.lang.String name,
                        VectorPTRef args_,
                        SRef ret_sort,
                        PTRef tr_body)

Method Detail

getCPtr

protected static long getCPtr(TemplateFunction obj)

swigRelease

protected static long swigRelease(TemplateFunction obj)

finalize

protected void finalize()

Overrides:

finalize in class java.lang.Object

delete

public void delete()

getName

public java.lang.String getName()

getRetSort

public SRef getRetSort()

getBody

public PTRef getBody()

getArgs

public VectorPTRef getArgs()