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 _

V

validate(Module) - Method in class edu.mit.csail.sdg.alloy4compiler.sim.SimInstance

Checks whether this instance satisfies every fact defined in the given model.

value - Variable in class java_cup.runtime.Symbol

valueOf(String) - Static method in enum edu.mit.csail.sdg.alloy4.Listener.Event

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum edu.mit.csail.sdg.alloy4compiler.ast.Attr.AttrType

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum edu.mit.csail.sdg.alloy4compiler.ast.ExprBinary.Op

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum edu.mit.csail.sdg.alloy4compiler.ast.ExprConstant.Op

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum edu.mit.csail.sdg.alloy4compiler.ast.ExprList.Op

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum edu.mit.csail.sdg.alloy4compiler.ast.ExprQt.Op

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum edu.mit.csail.sdg.alloy4compiler.ast.ExprUnary.Op

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum edu.mit.csail.sdg.alloy4graph.DotColor

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum edu.mit.csail.sdg.alloy4graph.DotDirection

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum edu.mit.csail.sdg.alloy4graph.DotPalette

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum edu.mit.csail.sdg.alloy4graph.DotShape

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum edu.mit.csail.sdg.alloy4graph.DotStyle

Returns the enum constant of this type with the specified name.

values() - Method in class edu.mit.csail.sdg.alloy4.ConstMap

Returns an unmodifiable view of the values in this map.

values() - Static method in enum edu.mit.csail.sdg.alloy4.Listener.Event

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum edu.mit.csail.sdg.alloy4compiler.ast.Attr.AttrType

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum edu.mit.csail.sdg.alloy4compiler.ast.ExprBinary.Op

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum edu.mit.csail.sdg.alloy4compiler.ast.ExprConstant.Op

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum edu.mit.csail.sdg.alloy4compiler.ast.ExprList.Op

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum edu.mit.csail.sdg.alloy4compiler.ast.ExprQt.Op

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum edu.mit.csail.sdg.alloy4compiler.ast.ExprUnary.Op

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in class edu.mit.csail.sdg.alloy4compiler.translator.A4Options.SatSolver

Returns the list of SatSolver values.

values() - Static method in enum edu.mit.csail.sdg.alloy4graph.DotColor

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum edu.mit.csail.sdg.alloy4graph.DotDirection

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum edu.mit.csail.sdg.alloy4graph.DotPalette

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum edu.mit.csail.sdg.alloy4graph.DotShape

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum edu.mit.csail.sdg.alloy4graph.DotStyle

Returns an array containing the constants of this enum type, in the order they are declared.

valuesWithout(DotColor) - Static method in enum edu.mit.csail.sdg.alloy4graph.DotColor

Returns the list of values that the user is allowed to select from.

var - Variable in class edu.mit.csail.sdg.alloy4compiler.ast.ExprLet

The LET variable.

Version - Class in edu.mit.csail.sdg.alloy4

This holds the buildDate String.

version() - Static method in class edu.mit.csail.sdg.alloy4.Version

Returns the version string.

virtual_parse_stack - Class in java_cup.runtime

This class implements a temporary or "virtual" parse stack that replaces the top portion of the actual parse stack (the part that has been changed by some set of operations) while maintaining its original contents.

virtual_parse_stack(Stack) - Constructor for class java_cup.runtime.virtual_parse_stack

Constructor to build a virtual stack out of a real stack.

visit(ExprBinary) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.VisitQuery

Visits an ExprBinary node (A OP B) by calling accept() on A then B.

visit(ExprList) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.VisitQuery

Visits an ExprList node F[X1,X2,X3..] by calling accept() on X1, X2, X3...

visit(ExprCall) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.VisitQuery

Visits an ExprCall node F[X1,X2,X3..] by calling accept() on X1, X2, X3...

visit(ExprConstant) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.VisitQuery

Visits an ExprConstant node (this default implementation simply returns null)

visit(ExprITE) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.VisitQuery

Visits an ExprITE node (C => X else Y) by calling accept() on C, X, then Y.

visit(ExprLet) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.VisitQuery

Visits an ExprLet node (let a=x | y) by calling accept() on "a", "x", then "y".

visit(ExprQt) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.VisitQuery

Visits an ExprQt node (all a,b,c:X1, d,e,f:X2...

visit(ExprUnary) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.VisitQuery

Visits an ExprUnary node (OP X) by calling accept() on X.

visit(ExprVar) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.VisitQuery

Visits a ExprVar node (this default implementation simply returns null)

visit(Sig) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.VisitQuery

Visits a Sig node (this default implementation simply returns null)

visit(Sig.Field) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.VisitQuery

Visits a Field node (this default implementation simply returns null)

visit(ExprBad) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.VisitReturn

Visits a ExprBad node

visit(ExprBadCall) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.VisitReturn

Visits a ExprBadCall node

visit(ExprBadJoin) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.VisitReturn

Visits a ExprBadJoin node

visit(ExprBinary) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.VisitReturn

Visits an ExprBinary node.

visit(ExprList) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.VisitReturn

Visits an ExprList node.

visit(ExprCall) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.VisitReturn

Visits an ExprCall node.

visit(ExprConstant) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.VisitReturn

Visits an ExprConstant node.

visit(ExprITE) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.VisitReturn

Visits an ExprITE node.

visit(ExprLet) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.VisitReturn

Visits an ExprLet node.

visit(ExprQt) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.VisitReturn

Visits an ExprQt node.

visit(ExprUnary) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.VisitReturn

Visits an ExprUnary node.

visit(ExprVar) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.VisitReturn

Visits an ExprVar node.

visit(Sig) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.VisitReturn

Visits a Sig node.

visit(Sig.Field) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.VisitReturn

Visits a Field node.

visit(ExprBinary) - Method in class edu.mit.csail.sdg.alloy4compiler.sim.SimInstance

Visits an ExprBinary node.

visit(ExprList) - Method in class edu.mit.csail.sdg.alloy4compiler.sim.SimInstance

Visits an ExprList node.

visit(ExprCall) - Method in class edu.mit.csail.sdg.alloy4compiler.sim.SimInstance

Visits an ExprCall node.

visit(ExprConstant) - Method in class edu.mit.csail.sdg.alloy4compiler.sim.SimInstance

Visits an ExprConstant node.

visit(ExprITE) - Method in class edu.mit.csail.sdg.alloy4compiler.sim.SimInstance

Visits an ExprITE node.

visit(ExprLet) - Method in class edu.mit.csail.sdg.alloy4compiler.sim.SimInstance

Visits an ExprLet node.

visit(ExprUnary) - Method in class edu.mit.csail.sdg.alloy4compiler.sim.SimInstance

Visits an ExprUnary node.

visit(ExprVar) - Method in class edu.mit.csail.sdg.alloy4compiler.sim.SimInstance

Visits an ExprVar node.

visit(Sig) - Method in class edu.mit.csail.sdg.alloy4compiler.sim.SimInstance

Visits a Sig node.

visit(Sig.Field) - Method in class edu.mit.csail.sdg.alloy4compiler.sim.SimInstance

Visits a Field node.

visit(ExprQt) - Method in class edu.mit.csail.sdg.alloy4compiler.sim.SimInstance

Visits an ExprQt node.

visit(ExprITE) - Method in class edu.mit.csail.sdg.alloy4compiler.translator.TranslateAlloyToKodkod

Visits an ExprITE node.

visit(ExprLet) - Method in class edu.mit.csail.sdg.alloy4compiler.translator.TranslateAlloyToKodkod

Visits an ExprLet node.

visit(ExprConstant) - Method in class edu.mit.csail.sdg.alloy4compiler.translator.TranslateAlloyToKodkod

Visits an ExprConstant node.

visit(ExprUnary) - Method in class edu.mit.csail.sdg.alloy4compiler.translator.TranslateAlloyToKodkod

Visits an ExprUnary node.

visit(ExprVar) - Method in class edu.mit.csail.sdg.alloy4compiler.translator.TranslateAlloyToKodkod

Visits an ExprVar node.

visit(Sig.Field) - Method in class edu.mit.csail.sdg.alloy4compiler.translator.TranslateAlloyToKodkod

Visits a Field node.

visit(Sig) - Method in class edu.mit.csail.sdg.alloy4compiler.translator.TranslateAlloyToKodkod

Visits a Sig node.

visit(ExprCall) - Method in class edu.mit.csail.sdg.alloy4compiler.translator.TranslateAlloyToKodkod

Visits an ExprCall node.

visit(ExprList) - Method in class edu.mit.csail.sdg.alloy4compiler.translator.TranslateAlloyToKodkod

Visits an ExprList node.

visit(ExprBinary) - Method in class edu.mit.csail.sdg.alloy4compiler.translator.TranslateAlloyToKodkod

Visits an ExprBinary node.

visit(ExprQt) - Method in class edu.mit.csail.sdg.alloy4compiler.translator.TranslateAlloyToKodkod

Visits an ExprQt node.

visit(Relation) - Method in class edu.mit.csail.sdg.alloy4compiler.translator.TranslateKodkodToJava

visit(BinaryExpression) - Method in class edu.mit.csail.sdg.alloy4compiler.translator.TranslateKodkodToJava

visit(ComparisonFormula) - Method in class edu.mit.csail.sdg.alloy4compiler.translator.TranslateKodkodToJava

visit(ProjectExpression) - Method in class edu.mit.csail.sdg.alloy4compiler.translator.TranslateKodkodToJava

visit(IntComparisonFormula) - Method in class edu.mit.csail.sdg.alloy4compiler.translator.TranslateKodkodToJava

visit(BinaryFormula) - Method in class edu.mit.csail.sdg.alloy4compiler.translator.TranslateKodkodToJava

visit(BinaryIntExpression) - Method in class edu.mit.csail.sdg.alloy4compiler.translator.TranslateKodkodToJava

visit(UnaryIntExpression) - Method in class edu.mit.csail.sdg.alloy4compiler.translator.TranslateKodkodToJava

visit(UnaryExpression) - Method in class edu.mit.csail.sdg.alloy4compiler.translator.TranslateKodkodToJava

visit(IfExpression) - Method in class edu.mit.csail.sdg.alloy4compiler.translator.TranslateKodkodToJava

visit(IfIntExpression) - Method in class edu.mit.csail.sdg.alloy4compiler.translator.TranslateKodkodToJava

visit(NotFormula) - Method in class edu.mit.csail.sdg.alloy4compiler.translator.TranslateKodkodToJava

visit(IntToExprCast) - Method in class edu.mit.csail.sdg.alloy4compiler.translator.TranslateKodkodToJava

visit(ExprToIntCast) - Method in class edu.mit.csail.sdg.alloy4compiler.translator.TranslateKodkodToJava

visit(IntConstant) - Method in class edu.mit.csail.sdg.alloy4compiler.translator.TranslateKodkodToJava

visit(ConstantFormula) - Method in class edu.mit.csail.sdg.alloy4compiler.translator.TranslateKodkodToJava

visit(ConstantExpression) - Method in class edu.mit.csail.sdg.alloy4compiler.translator.TranslateKodkodToJava

visit(Variable) - Method in class edu.mit.csail.sdg.alloy4compiler.translator.TranslateKodkodToJava

visit(Comprehension) - Method in class edu.mit.csail.sdg.alloy4compiler.translator.TranslateKodkodToJava

visit(QuantifiedFormula) - Method in class edu.mit.csail.sdg.alloy4compiler.translator.TranslateKodkodToJava

visit(SumExpression) - Method in class edu.mit.csail.sdg.alloy4compiler.translator.TranslateKodkodToJava

visit(MultiplicityFormula) - Method in class edu.mit.csail.sdg.alloy4compiler.translator.TranslateKodkodToJava

visit(Decl) - Method in class edu.mit.csail.sdg.alloy4compiler.translator.TranslateKodkodToJava

visit(Decls) - Method in class edu.mit.csail.sdg.alloy4compiler.translator.TranslateKodkodToJava

visit(RelationPredicate) - Method in class edu.mit.csail.sdg.alloy4compiler.translator.TranslateKodkodToJava

visit(NaryExpression) - Method in class edu.mit.csail.sdg.alloy4compiler.translator.TranslateKodkodToJava

visit(NaryIntExpression) - Method in class edu.mit.csail.sdg.alloy4compiler.translator.TranslateKodkodToJava

visit(NaryFormula) - Method in class edu.mit.csail.sdg.alloy4compiler.translator.TranslateKodkodToJava

VisitQuery<T> - Class in edu.mit.csail.sdg.alloy4compiler.ast

This abstract class implements a Query visitor that walks over an Expr and its subnodes.

VisitQuery() - Constructor for class edu.mit.csail.sdg.alloy4compiler.ast.VisitQuery

Constructs a VisitQuery object.

VisitReturn<T> - Class in edu.mit.csail.sdg.alloy4compiler.ast

This abstract class defines what a Return Visitor's interface needs to be.

VisitReturn() - Constructor for class edu.mit.csail.sdg.alloy4compiler.ast.VisitReturn

Constructs a VisitReturn object.

visitThis(Expr) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.VisitReturn

This is the start method that begins a traversal over the given expression.

VizCustomizationPanel - Class in edu.mit.csail.sdg.alloy4viz

GUI panel for making customization changes.

VizCustomizationPanel(JSplitPane, VizState) - Constructor for class edu.mit.csail.sdg.alloy4viz.VizCustomizationPanel

Constructs a customization panel.

VizGraphPanel - Class in edu.mit.csail.sdg.alloy4viz

GUI panel that houses the actual graph, as well as any projection comboboxes.

VizGraphPanel(VizState, boolean) - Constructor for class edu.mit.csail.sdg.alloy4viz.VizGraphPanel

Create a splitpane showing the graph on top, as well as projection comboboxes on the bottom.

VizGUI - Class in edu.mit.csail.sdg.alloy4viz

GUI main window for the visualizer.

VizGUI(boolean, String, JMenu) - Constructor for class edu.mit.csail.sdg.alloy4viz.VizGUI

Creates a new visualization GUI window; this method can only be called by the AWT event thread.

VizGUI(boolean, String, JMenu, Computer, Computer) - Constructor for class edu.mit.csail.sdg.alloy4viz.VizGUI

Creates a new visualization GUI window; this method can only be called by the AWT event thread.

VizGUI(boolean, String, JMenu, Computer, Computer, boolean) - Constructor for class edu.mit.csail.sdg.alloy4viz.VizGUI

Creates a new visualization GUI window; this method can only be called by the AWT event thread.

VizState - Class in edu.mit.csail.sdg.alloy4viz

Mutable; this stores an unprojected model as well as the current theme customization.

VizState(AlloyInstance) - Constructor for class edu.mit.csail.sdg.alloy4viz.VizState

Construct a new VizState (with default theme settings) for the given instance; if world!=null, it is the root of the AST.

VizState(VizState) - Constructor for class edu.mit.csail.sdg.alloy4viz.VizState

Make a copy of an existing VizState object.

VizState.MInt - Class in edu.mit.csail.sdg.alloy4viz

VizState.MMap<T> - Class in edu.mit.csail.sdg.alloy4viz

VizState.MString - Class in edu.mit.csail.sdg.alloy4viz

VizTree - Class in edu.mit.csail.sdg.alloy4viz

GUI tree that displays an instance as a tree.

VizTree(A4Solution, String, int) - Constructor for class edu.mit.csail.sdg.alloy4viz.VizTree

Constructs a tree to display the given instance.

vstack - Variable in class java_cup.runtime.virtual_parse_stack

The virtual top portion of the stack.