edu.toronto.cs.tp.cvcl
Class Type

java.lang.Object
  extended by edu.toronto.cs.tp.cvcl.Type

public class Type
extends java.lang.Object


Field Summary
protected  boolean swigCMemOwn
           
 
Constructor Summary
  Type()
           
protected Type(long cPtr, boolean cMemoryOwn)
           
 
Method Summary
 int arity()
           
 void delete()
           
protected static long getCPtr(Type obj)
           
 Expr getExpr()
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

swigCMemOwn

protected boolean swigCMemOwn
Constructor Detail

Type

protected Type(long cPtr,
               boolean cMemoryOwn)

Type

public Type()
Method Detail

delete

public void delete()

getCPtr

protected static long getCPtr(Type obj)

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

getExpr

public Expr getExpr()

arity

public int arity()