Methods in edu.cmu.cs.crystal.analysis.alias that return types with arguments of type TupleLatticeElement |
ILatticeOperations<TupleLatticeElement<Variable,AliasLE>> |
MayAliasTransferFunction.getLatticeOperations()
|
IResult<TupleLatticeElement<Variable,AliasLE>> |
MayAliasTransferFunction.transfer(ArrayInitInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,AliasLE> value)
|
IResult<TupleLatticeElement<Variable,AliasLE>> |
MayAliasTransferFunction.transfer(BinaryOperation binop,
List<ILabel> labels,
TupleLatticeElement<Variable,AliasLE> value)
|
IResult<TupleLatticeElement<Variable,AliasLE>> |
MayAliasTransferFunction.transfer(CastInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,AliasLE> value)
|
IResult<TupleLatticeElement<Variable,AliasLE>> |
MayAliasTransferFunction.transfer(CopyInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,AliasLE> value)
|
IResult<TupleLatticeElement<Variable,AliasLE>> |
MayAliasTransferFunction.transfer(DotClassInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,AliasLE> value)
|
IResult<TupleLatticeElement<Variable,AliasLE>> |
MayAliasTransferFunction.transfer(InstanceofInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,AliasLE> value)
|
IResult<TupleLatticeElement<Variable,AliasLE>> |
MayAliasTransferFunction.transfer(LoadArrayInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,AliasLE> value)
|
IResult<TupleLatticeElement<Variable,AliasLE>> |
MayAliasTransferFunction.transfer(LoadFieldInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,AliasLE> value)
|
IResult<TupleLatticeElement<Variable,AliasLE>> |
MayAliasTransferFunction.transfer(LoadLiteralInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,AliasLE> value)
|
IResult<TupleLatticeElement<Variable,AliasLE>> |
MayAliasTransferFunction.transfer(MethodCallInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,AliasLE> value)
|
IResult<TupleLatticeElement<Variable,AliasLE>> |
MayAliasTransferFunction.transfer(NewArrayInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,AliasLE> value)
|
IResult<TupleLatticeElement<Variable,AliasLE>> |
MayAliasTransferFunction.transfer(NewObjectInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,AliasLE> value)
|
IResult<TupleLatticeElement<Variable,AliasLE>> |
MayAliasTransferFunction.transfer(SourceVariableDeclaration instr,
List<ILabel> labels,
TupleLatticeElement<Variable,AliasLE> value)
|
IResult<TupleLatticeElement<Variable,AliasLE>> |
MayAliasTransferFunction.transfer(UnaryOperation unop,
List<ILabel> labels,
TupleLatticeElement<Variable,AliasLE> value)
|
Methods in edu.cmu.cs.crystal.analysis.alias with parameters of type TupleLatticeElement |
IResult<TupleLatticeElement<Variable,AliasLE>> |
MayAliasTransferFunction.transfer(ArrayInitInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,AliasLE> value)
|
IResult<TupleLatticeElement<Variable,AliasLE>> |
MayAliasTransferFunction.transfer(BinaryOperation binop,
List<ILabel> labels,
TupleLatticeElement<Variable,AliasLE> value)
|
IResult<TupleLatticeElement<Variable,AliasLE>> |
MayAliasTransferFunction.transfer(CastInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,AliasLE> value)
|
IResult<TupleLatticeElement<Variable,AliasLE>> |
MayAliasTransferFunction.transfer(CopyInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,AliasLE> value)
|
IResult<TupleLatticeElement<Variable,AliasLE>> |
MayAliasTransferFunction.transfer(DotClassInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,AliasLE> value)
|
IResult<TupleLatticeElement<Variable,AliasLE>> |
MayAliasTransferFunction.transfer(InstanceofInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,AliasLE> value)
|
IResult<TupleLatticeElement<Variable,AliasLE>> |
MayAliasTransferFunction.transfer(LoadArrayInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,AliasLE> value)
|
IResult<TupleLatticeElement<Variable,AliasLE>> |
MayAliasTransferFunction.transfer(LoadFieldInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,AliasLE> value)
|
IResult<TupleLatticeElement<Variable,AliasLE>> |
MayAliasTransferFunction.transfer(LoadLiteralInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,AliasLE> value)
|
IResult<TupleLatticeElement<Variable,AliasLE>> |
MayAliasTransferFunction.transfer(MethodCallInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,AliasLE> value)
|
IResult<TupleLatticeElement<Variable,AliasLE>> |
MayAliasTransferFunction.transfer(NewArrayInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,AliasLE> value)
|
IResult<TupleLatticeElement<Variable,AliasLE>> |
MayAliasTransferFunction.transfer(NewObjectInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,AliasLE> value)
|
IResult<TupleLatticeElement<Variable,AliasLE>> |
MayAliasTransferFunction.transfer(SourceVariableDeclaration instr,
List<ILabel> labels,
TupleLatticeElement<Variable,AliasLE> value)
|
IResult<TupleLatticeElement<Variable,AliasLE>> |
MayAliasTransferFunction.transfer(UnaryOperation unop,
List<ILabel> labels,
TupleLatticeElement<Variable,AliasLE> value)
|
Methods in edu.cmu.cs.crystal.analysis.constant that return types with arguments of type TupleLatticeElement |
ILatticeOperations<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.getLatticeOperations()
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(ArrayInitInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(BinaryOperation binop,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(CastInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(ConstructorCallInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(CopyInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(DotClassInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(EnhancedForConditionInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(InstanceofInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(LoadArrayInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(LoadFieldInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(LoadLiteralInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(MethodCallInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(NewArrayInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(NewObjectInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(ReturnInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(SourceVariableDeclaration instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(SourceVariableReadInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(StoreArrayInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(StoreFieldInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(UnaryOperation unop,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
Methods in edu.cmu.cs.crystal.analysis.constant with parameters of type TupleLatticeElement |
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(ArrayInitInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(BinaryOperation binop,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(CastInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(ConstructorCallInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(CopyInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(DotClassInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(EnhancedForConditionInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(InstanceofInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(LoadArrayInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(LoadFieldInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(LoadLiteralInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(MethodCallInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(NewArrayInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(NewObjectInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(ReturnInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(SourceVariableDeclaration instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(SourceVariableReadInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(StoreArrayInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(StoreFieldInstruction instr,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
IResult<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.transfer(UnaryOperation unop,
List<ILabel> labels,
TupleLatticeElement<Variable,BooleanConstantLE> value)
|
Methods in edu.cmu.cs.crystal.analysis.live that return TupleLatticeElement |
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.createEntryValue(MethodDeclaration d)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(ArrayInitInstruction instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(BinaryOperation binop,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(CastInstruction instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(ConstructorCallInstruction instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(CopyInstruction instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(DotClassInstruction instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(EnhancedForConditionInstruction instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(InstanceofInstruction instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(LoadArrayInstruction instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(LoadFieldInstruction instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(LoadLiteralInstruction instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(MethodCallInstruction instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(NewArrayInstruction instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(NewObjectInstruction instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(ReturnInstruction instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(SourceVariableDeclaration instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(SourceVariableReadInstruction instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(StoreArrayInstruction instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(StoreFieldInstruction instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(UnaryOperation unop,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
Methods in edu.cmu.cs.crystal.analysis.live with parameters of type TupleLatticeElement |
void |
LiveVariableAnalysis.printLattice(TupleLatticeElement<Variable,LiveVariableLE> lattice)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(ArrayInitInstruction instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(BinaryOperation binop,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(CastInstruction instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(ConstructorCallInstruction instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(CopyInstruction instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(DotClassInstruction instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(EnhancedForConditionInstruction instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(InstanceofInstruction instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(LoadArrayInstruction instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(LoadFieldInstruction instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(LoadLiteralInstruction instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(MethodCallInstruction instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(NewArrayInstruction instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(NewObjectInstruction instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(ReturnInstruction instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(SourceVariableDeclaration instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(SourceVariableReadInstruction instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(StoreArrayInstruction instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(StoreFieldInstruction instr,
TupleLatticeElement<Variable,LiveVariableLE> value)
|
TupleLatticeElement<Variable,LiveVariableLE> |
LiveVariableTransferFunction.transfer(UnaryOperation unop,
TupleLatticeElement<Variable,LiveVariableLE> value)
|