Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
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.
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
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
_