A B C D E F G H I J K L M N O P R S T U V W X Y Z _

B

b - Variable in class edu.mit.csail.sdg.alloy4.Pair
The second half of the pair.
b() - Method in class edu.mit.csail.sdg.alloy4graph.GraphEdge
Returns the "to" node.
BAR - Static variable in class edu.mit.csail.sdg.alloy4compiler.parser.CompSym
 
before(Pos, Pos) - Static method in class edu.mit.csail.sdg.alloy4.Pos
Returns true if neither argument is null nor UNKNOWN, and that the ending position of "a" is before the starting position of "b".
beginWith(SimTuple) - Method in class edu.mit.csail.sdg.alloy4compiler.sim.SimTupleset
Return the set of tuples which begins with the given tuple (where we remove the "matching leading part")
BerkMinPIPE - Static variable in class edu.mit.csail.sdg.alloy4compiler.translator.A4Options.SatSolver
BerkMin via pipe
bhead() - Method in class edu.mit.csail.sdg.alloy4graph.GraphEdge
Returns true if we will draw an arrow head on the "to" node.
bitwidth - Variable in class edu.mit.csail.sdg.alloy4compiler.ast.Command
The integer bitwidth (0 or higher) (Or -1 if it was not specified).
bound(String) - Method in class edu.mit.csail.sdg.alloy4.A4Reporter
This method is called by the BoundsComputer to report the bounds chosen for each sig and each field.
Browsable - Class in edu.mit.csail.sdg.alloy4compiler.ast
This abstract class represents a node that can be browsed in the graphical parse tree viewer.
Browsable() - Constructor for class edu.mit.csail.sdg.alloy4compiler.ast.Browsable
 
buildDate() - Static method in class edu.mit.csail.sdg.alloy4.Version
Returns the build date.
buildNumber() - Static method in class edu.mit.csail.sdg.alloy4.Version
Returns the build number.
BUILTIN - Static variable in class edu.mit.csail.sdg.alloy4compiler.ast.Attr
BUILTIN; every builtin Sig has the BUILTIN attribute, and every non-builtin Sig does not.
builtin - Variable in class edu.mit.csail.sdg.alloy4compiler.ast.Sig
True if this sig is one of the built-in sig.
BUT - Static variable in class edu.mit.csail.sdg.alloy4compiler.parser.CompSym
 
button(String, String, String, ActionListener) - Static method in class edu.mit.csail.sdg.alloy4.OurUtil
Make a graphical button
ByteBuffer - Class in edu.mit.csail.sdg.alloy4
Mutable; implements a growable array of bytes.
ByteBuffer() - Constructor for class edu.mit.csail.sdg.alloy4.ByteBuffer
Construct an empty byte buffer.

A B C D E F G H I J K L M N O P R S T U V W X Y Z _