Uses of Class
escjava.vcGeneration.TFunction

Packages that use TFunction

escjava.vcGeneration
escjava.vcGeneration.coq
escjava.vcGeneration.pvs
escjava.vcGeneration.simplify
escjava.vcGeneration.xml

Uses of TFunction in escjava.vcGeneration

Subclasses of TFunction in escjava.vcGeneration

class	TAllocLE
class	TAllocLT
class	TAnyEQ
class	TAnyNE
class	TArrayFresh
class	TArrayLength
class	TArrayShapeMore
class	TArrayShapeOne
class	TAsElems
class	TAsField
class	TAsLockSet
class	TBoolAnd
class	TBoolEQ
class	TBoolImplies
class	TBoolNE
class	TBoolNot
(package private) class	TBoolOp
class	TBoolOr
class	TBoolRes
class	TCast
class	TEClosedTime
class	TExist
class	TFClosedTime
class	TFloatAdd
class	TFloatDiv
class	TFloatEQ
(package private) class	TFloatFun
class	TFloatGE
class	TFloatGT
class	TFloatLE
class	TFloatLT
class	TFloatMod
class	TFloatMul
class	TFloatNE
(package private) class	TFloatOp
class	TForAll
class	TIntegralAdd
class	TIntegralDiv
class	TIntegralEQ
class	TIntegralGE
class	TIntegralGT
class	TIntegralLE
class	TIntegralLT
class	TIntegralMod
class	TIntegralMul
class	TIntegralNE
class	TIntegralSub
(package private) class	TIntFun
(package private) class	TIntOp
class	TIs
class	TIsAllocated
class	TIsNewArray
class	TLockLE
class	TLockLT
class	TMethodCall The class used to represent method calls for the new Vc gen tree.
class	TRefEQ
class	TRefNE
(package private) class	TRefOp
class	TRoot
class	TSelect
class	TStore
class	TSum
class	TTypeEQ
class	TTypeLE
class	TTypeNE
class	TTypeOf
(package private) class	TTypeOp
class	TUnset

Fields in escjava.vcGeneration declared as TFunction

private TFunction	VcGenerator.currentParent This attribute is used by the next function to save the current parent of the node we may create.
TFunction	TNode.parent

Methods in escjava.vcGeneration with parameters of type TFunction

void	TDotVisitor.visitTFunction(TFunction n)

Uses of TFunction in escjava.vcGeneration.coq

Methods in escjava.vcGeneration.coq with parameters of type TFunction

void	TProofTyperVisitor.setAllTypesTo(TFunction f, TypeInfo ti)
void	TProofTyperVisitor.visitSons(TFunction f)
boolean	TProofTyperVisitor.sonsAreBool(TFunction f)
void	TProofSimplifier.visitTFunction(TFunction n)
void	TProofSimplifier.simplify(TFunction n, TNode m, TNode o)
void	TCoqVisitor.printBoolEq(TFunction n)

Uses of TFunction in escjava.vcGeneration.pvs

Methods in escjava.vcGeneration.pvs with parameters of type TFunction

void	TPvsVisitor.genericFun(java.lang.String s, TFunction n) General Function You give the operator at the first argument and then it outputs op (son1, son2 ...) )
void	TPvsVisitor.unaryGeneric(java.lang.String s, TFunction n) Function/Operator with arity 1 : (op X)
void	TPvsVisitor.genericOp(java.lang.String s, TFunction n) You give the operator at the first argument and then it outputs (son1 op son2 ...
void	TPvsVisitor.binOp(java.lang.String s, TFunction n) Function for binary operator You give the operator at the first argument and then it outputs (son1 op son2) If son1 is a variable, op isn't on the next line If son2 is a variable, it doesn't go to next line.
void	TProofSimplifier.visitTFunction(TFunction n)
void	TProofSimplifier.simplify(TFunction n, TNode m, TNode o)

Uses of TFunction in escjava.vcGeneration.simplify

Methods in escjava.vcGeneration.simplify with parameters of type TFunction

void	TSimplifyVisitor.genericOp(java.lang.String s, TFunction n)

Uses of TFunction in escjava.vcGeneration.xml

Methods in escjava.vcGeneration.xml with parameters of type TFunction

private void	TXmlVisitor.prop(java.lang.String tagName, TFunction n)
private void	TXmlVisitor.quant(java.lang.String tagName, TFunction n)
private void	TXmlVisitor.pred(java.lang.String tagType, java.lang.String tagName, TFunction n)
private void	TXmlVisitor.term(java.lang.String tagType, java.lang.String tagName, TFunction n)