escjava.vcGeneration
Class TBoolRes

java.lang.Object
  escjava.vcGeneration.TNode
      escjava.vcGeneration.TFunction
          escjava.vcGeneration.TBoolRes

Direct Known Subclasses:

TAllocLE, TAllocLT, TBoolOp, TCast, TExist, TFloatOp, TForAll, TIntOp, TIs, TRefOp, TTypeOp

public abstract class TBoolRes

extends TFunction

Field Summary

Fields inherited from class escjava.vcGeneration.TFunction

sons

Fields inherited from class escjava.vcGeneration.TNode

_boolean, _char, _double, _DOUBLETYPE, _Field, _float, _integer, _INTTYPE, _Path, _Reference, _String, _Time, _Type, counter, dotPs, id, isroot, label, lastType, parent, prover, type, typeProofSet, typesName, variablesName

Constructor Summary

TBoolRes()

Methods inherited from class escjava.vcGeneration.TFunction

addSon, getChildAt, typeTree

Methods inherited from class escjava.vcGeneration.TNode

accept, addName, addName, addType, addType, dotId, generateDeclarations, getShortName, getType, getTypeInfo, getVariableInfo, getVariableInfo, init, printInfo, setType, setType, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

TBoolRes

public TBoolRes()