addGEQ(boolean) -
Method in class scale.score.dependence.omega.omegaLib.FAnd
"preserves level" should be false unless we know this will not
change the "level" of the constraints - ie the number of
leading corresponding in,out variables known to be equal
BC1F -
Static variable in class scale.backend.mips.Opcodes
BC1FL -
Static variable in class scale.backend.mips.Opcodes
BC1T -
Static variable in class scale.backend.mips.Opcodes
BC1TL -
Static variable in class scale.backend.mips.Opcodes
BCC -
Static variable in class scale.backend.sparc.Opcodes
BCS -
Static variable in class scale.backend.sparc.Opcodes
BE -
Static variable in class scale.backend.sparc.Opcodes
beautify() -
Method in class scale.score.dependence.omega.omegaLib.Formula
beautify() -
Method in class scale.score.dependence.omega.omegaLib.Conjunct
beautify() -
Method in class scale.score.dependence.omega.omegaLib.FNot
beautify() -
Method in class scale.score.dependence.omega.omegaLib.FExists
beautify() -
Method in class scale.score.dependence.omega.omegaLib.FOr
The Pix-free versions of beautify for And and Or are a bit
less efficient than the previous code, as we keep moving
things from one list to another, but they do not depend on
knowing that a Pix is valid after the list is updated, and
they can always be optimized later if necessary.
beautify() -
Method in class scale.score.dependence.omega.omegaLib.FAnd
beautify() -
Method in class scale.score.dependence.omega.omegaLib.RelBody
beautify() -
Method in class scale.score.dependence.omega.omegaLib.FForall
The main routine for computing aliases.Overloaded from the super class Aliases.java
First, we create alias variables for the variables in the program
then, we create categories based upon the number provided
Next, we assign variables to categories
Finally, we analyze the program to find the alias relationships among the
variables.
This class is used to both represent a Java class file constant value attribute structure and to read that class file constant value attribute structure.
For types with substructures, this attribute indicates
if the source language requires the data layout to preserve the order
of substructures (declaration order is assumed).