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 _

G

get(int) - Method in class edu.mit.csail.sdg.alloy4.ConstList
Returns the i-th element
get(int) - Method in class edu.mit.csail.sdg.alloy4.ConstList.TempList
Returns the i-th element.
get(Object) - Method in class edu.mit.csail.sdg.alloy4.ConstMap
Returns the value associated with the key (or null if not found); null is also returned if the given key maps to null.
get(K) - Method in class edu.mit.csail.sdg.alloy4.Env
Returns the latest value associated with the key (and returns null if none).
get(int) - Method in class edu.mit.csail.sdg.alloy4.JoinableList
Return the i-th element
get() - Method in class edu.mit.csail.sdg.alloy4.OurTabbedSyntaxWidget
Returns the JTextArea of the current text buffer.
get(int) - Method in class edu.mit.csail.sdg.alloy4.SafeList
Get an element from the list.
get() - Method in class edu.mit.csail.sdg.alloy4.Util.BooleanPref
Reads the value for this preference; if not set, we return false.
get() - Method in class edu.mit.csail.sdg.alloy4.Util.IntPref
Reads the value for this preference; if not set, we return the default value.
get() - Method in class edu.mit.csail.sdg.alloy4.Util.StringPref
Reads the value for this preference; if not set or is empty, we return the default value.
get() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Decl
Return the first variable in this declaration.
get(int) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprQt
Return the i-th variable.
get(int) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Func
Return the i-th parameter where i goes from 0 to count()-1
get(int) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Type.ProductType
Returns a specific PrimSig in this ProductType
get(int) - Method in class edu.mit.csail.sdg.alloy4compiler.sim.SimTuple
Return the i-th atom from this tuple.
get() - Static method in class edu.mit.csail.sdg.alloy4compiler.translator.A4Options.SatSolver
Reads the current value of the Java preference object (if it's not set, then return SAT4J).
get(AlloyElement) - Method in class edu.mit.csail.sdg.alloy4viz.VizState.MInt
 
get(AlloyElement) - Method in class edu.mit.csail.sdg.alloy4viz.VizState.MMap
 
get(AlloyElement) - Method in class edu.mit.csail.sdg.alloy4viz.VizState.MString
 
get_action(int, int) - Method in class java_cup.runtime.lr_parser
Fetch an action from the action table.
get_from_real() - Method in class java_cup.runtime.virtual_parse_stack
Transfer an element from the real to the virtual stack.
get_reduce(int, int) - Method in class java_cup.runtime.lr_parser
Fetch a state from the reduce-goto table.
getAllAssertions() - Method in interface edu.mit.csail.sdg.alloy4compiler.ast.Module
Return an unmodifiable list of all assertions in this module.
getAllAssertions() - Method in class edu.mit.csail.sdg.alloy4compiler.parser.CompModule
Return an unmodifiable list of all assertions in this module.
getAllAtoms(int) - Method in class edu.mit.csail.sdg.alloy4compiler.sim.SimTupleset
Returns a modifiable copy of the list of all i-th atom from all tuples in some arbitrary order (0 is first atom, 1 is second atom...)
getAllAtoms() - Method in class edu.mit.csail.sdg.alloy4compiler.translator.A4Solution
Returns an unmodifiable copy of the list of all atoms if the problem is solved and is satisfiable; else returns an empty list.
getAllAtoms() - Method in class edu.mit.csail.sdg.alloy4viz.AlloyInstance
Returns an unmodifiable sorted set of all AlloyAtoms in this AlloyInstance.
getAllCommands() - Method in interface edu.mit.csail.sdg.alloy4compiler.ast.Module
Return an unmodifiable list of all commands in this module.
getAllCommands() - Method in class edu.mit.csail.sdg.alloy4compiler.parser.CompModule
Return an unmodifiable list of all commands in this module.
getAllFacts() - Method in interface edu.mit.csail.sdg.alloy4compiler.ast.Module
Return an unmodifiable list of all facts in this module.
getAllFacts() - Method in class edu.mit.csail.sdg.alloy4compiler.parser.CompModule
Return an unmodifiable list of all facts in this module.
getAllFunc() - Method in interface edu.mit.csail.sdg.alloy4compiler.ast.Module
Return an unmodifiable list of all functions in this module.
getAllFunc() - Method in class edu.mit.csail.sdg.alloy4compiler.parser.CompModule
Return an unmodifiable list of all functions in this module.
getAllReachableFacts() - Method in interface edu.mit.csail.sdg.alloy4compiler.ast.Module
Return the conjunction of all facts in this module and all reachable submodules (not including field constraints, nor including sig appended constraints)
getAllReachableFacts() - Method in class edu.mit.csail.sdg.alloy4compiler.parser.CompModule
Return the conjunction of all facts in this module and all reachable submodules (not including field constraints, nor including sig appended constraints)
getAllReachableModules() - Method in interface edu.mit.csail.sdg.alloy4compiler.ast.Module
Return the list containing THIS MODULE and all modules reachable from this module.
getAllReachableModules() - Method in class edu.mit.csail.sdg.alloy4compiler.parser.CompModule
Return the list containing THIS MODULE and all modules reachable from this module.
getAllReachableModulesFilenames() - Method in interface edu.mit.csail.sdg.alloy4compiler.ast.Module
Return the list of all relative filenames included from this MODULE.
getAllReachableModulesFilenames() - Method in class edu.mit.csail.sdg.alloy4compiler.parser.CompModule
Return the list of all relative filenames included from this MODULE.
getAllReachableSigs() - Method in interface edu.mit.csail.sdg.alloy4compiler.ast.Module
Return the list containing UNIV, SIGINT, SEQIDX, STRING, NONE, and all sigs defined in this module or a reachable submodule.
getAllReachableSigs() - Method in class edu.mit.csail.sdg.alloy4compiler.parser.CompModule
Return the list containing UNIV, SIGINT, SEQIDX, STRING, NONE, and all sigs defined in this module or a reachable submodule.
getAllReachableSigs() - Method in class edu.mit.csail.sdg.alloy4compiler.translator.A4Solution
Returns an unmodifiable copy of the list of all sigs in this solution's model; always contains UNIV+SIGINT+SEQIDX+STRING+NONE and has no duplicates.
getAllSigs() - Method in interface edu.mit.csail.sdg.alloy4compiler.ast.Module
Returns an unmodifiable list of all signatures defined inside this module.
getAllSigs() - Method in class edu.mit.csail.sdg.alloy4compiler.parser.CompModule
Returns an unmodifiable list of all signatures defined inside this module.
getAllSkolems() - Method in class edu.mit.csail.sdg.alloy4compiler.translator.A4Solution
Returns an unmodifiable copy of the list of all skolems if the problem is solved and is satisfiable; else returns an empty list.
getAllStringConstants(Iterable<Sig>) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Command
Return a modifiable copy of the set of all String constants used in this command or in any facts embedded in this command.
getArity() - Method in class edu.mit.csail.sdg.alloy4viz.AlloyRelation
Returns the arity of the relation.
getArity() - Method in class edu.mit.csail.sdg.alloy4viz.AlloyTuple
Returns the arity of this AlloyTuple.
getAtom() - Method in class edu.mit.csail.sdg.alloy4compiler.sim.SimTupleset
Returns an arbitrary atom from an arbitrary tuple.
getAtoms() - Method in class edu.mit.csail.sdg.alloy4viz.AlloyTuple
Returns an unmodifiable list of the AlloyAtoms in this AlloyTuple.
getAttribute(String) - Method in class edu.mit.csail.sdg.alloy4.XMLNode
Returns the value associated with the given attribute name; if the attribute doesn't exist, return "".
getAttribute(String, String) - Method in class edu.mit.csail.sdg.alloy4.XMLNode
Returns the value associated with the given attribute name; if the attribute doesn't exist, return the defaultValue.
getBitwidth() - Method in class edu.mit.csail.sdg.alloy4compiler.translator.A4Solution
Returns the bitwidth; always between 1 and 30.
getBody() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Func
Return the body of this predicate/function.
getBorderInsets(Component) - Method in class edu.mit.csail.sdg.alloy4.OurBorder
This method is called by Swing to retrieve the dimension of the border.
getBound(int) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprQt
Return the i-th variable's bound.
getBounds(boolean, String) - Static method in class edu.mit.csail.sdg.alloy4graph.Artist
Returns the bounding box when drawing the given string using the given font size and font boldness settings.
getCaret() - Method in class edu.mit.csail.sdg.alloy4.OurSyntaxWidget
Return the caret position.
getChildren(String) - Method in class edu.mit.csail.sdg.alloy4.XMLNode
Returns a read-only iteration of the immediate subelements whose type is equal to the given type.
getColor(DotPalette) - Method in enum edu.mit.csail.sdg.alloy4graph.DotColor
Convert this color into its corresponding Java Color object.
getCurrentDirectory() - Static method in class edu.mit.csail.sdg.alloy4.Util
Returns the current "default directory" which is used by the FileOpen and FileSave dialogs.
getCurrentModel() - Method in class edu.mit.csail.sdg.alloy4viz.VizState
Returns the current (possibly projected) model.
getDepth() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Expr
Returns the height of the abstract syntax tree starting from this node.
getDepth() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprBad
Returns the height of the abstract syntax tree starting from this node.
getDepth() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprBadCall
Returns the height of the abstract syntax tree starting from this node.
getDepth() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprBadJoin
Returns the height of the abstract syntax tree starting from this node.
getDepth() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprBinary
Returns the height of the abstract syntax tree starting from this node.
getDepth() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprCall
Returns the height of the abstract syntax tree starting from this node.
getDepth() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprChoice
Returns the height of the abstract syntax tree starting from this node.
getDepth() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprConstant
Returns the height of the abstract syntax tree starting from this node.
getDepth() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprHasName
Returns the height of the abstract syntax tree starting from this node.
getDepth() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprITE
Returns the height of the abstract syntax tree starting from this node.
getDepth() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprLet
Returns the height of the abstract syntax tree starting from this node.
getDepth() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprList
Returns the height of the abstract syntax tree starting from this node.
getDepth() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprQt
Returns the height of the abstract syntax tree starting from this node.
getDepth() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprUnary
Returns the height of the abstract syntax tree starting from this node.
getDepth() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Sig
Returns the height of the abstract syntax tree starting from this node.
getDirectSubTypes(AlloyType) - Method in class edu.mit.csail.sdg.alloy4viz.AlloyModel
Returns a sorted, unmodifiable list of types that are direct subtypes of the given type.
getDisplayedText() - Method in enum edu.mit.csail.sdg.alloy4graph.DotColor
Returns the String that will be displayed in the GUI to represent this value.
getDisplayedText() - Method in enum edu.mit.csail.sdg.alloy4graph.DotPalette
Returns the String that will be displayed in the GUI to represent this value.
getDisplayedText() - Method in enum edu.mit.csail.sdg.alloy4graph.DotShape
Returns the String that will be displayed in the GUI to represent this value.
getDisplayedText() - Method in enum edu.mit.csail.sdg.alloy4graph.DotStyle
Returns the String that will be displayed in the GUI to represent this value.
getDotText(DotPalette) - Method in enum edu.mit.csail.sdg.alloy4graph.DotColor
Returns the String that should be written into the dot file for this value, when used with the given palette.
getDotText() - Method in enum edu.mit.csail.sdg.alloy4graph.DotDirection
Returns the String that should be written into the dot file for this value, when used with the given palette.
getDotText() - Method in enum edu.mit.csail.sdg.alloy4graph.DotShape
Returns the String that should be written into the dot file for this value, when used with the given palette.
getDotText() - Method in enum edu.mit.csail.sdg.alloy4graph.DotStyle
Returns the String that should be written into the dot file for this value, when used with the given palette.
getEdgePalette() - Method in class edu.mit.csail.sdg.alloy4viz.VizState
Gets the default edge palette.
getEnd() - Method in class edu.mit.csail.sdg.alloy4viz.AlloyTuple
Returns the last AlloyAtom in this AlloyTuple.
getFacts() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Sig
Return the list of per-atom facts; each expression is allowed to refer to this.decl.get()
getFieldDecls() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Sig
Return the list of fields as a unmodifiable list of declarations (where you can see which fields are declared to be disjoint)
getFields() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Sig
Return the list of fields as a combined unmodifiable list (without telling you which fields are declared to be disjoint)
getFilename() - Method in class edu.mit.csail.sdg.alloy4.OurSyntaxWidget
Returns the filename.
getFilenames() - Method in class edu.mit.csail.sdg.alloy4.OurTabbedSyntaxWidget
Returns the list of filenames corresponding to each text buffer.
getFontSize() - Method in class edu.mit.csail.sdg.alloy4viz.VizState
Returns the font size.
getGraph(AlloyProjection) - Method in class edu.mit.csail.sdg.alloy4viz.VizState
Generate a VizGraphPanel for a given projection choice, using the current settings.
getGrowableSigs() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Command
Helper method that returns true iff this command contains at least one growable sig.
getHTML() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Browsable
Returns the description (as HTML) to show for this node.
getHTML() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Command
Returns the description (as HTML) to show for this node.
getHTML() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprBad
Returns the description (as HTML) to show for this node.
getHTML() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprBadCall
Returns the description (as HTML) to show for this node.
getHTML() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprBadJoin
Returns the description (as HTML) to show for this node.
getHTML() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprBinary
Returns the description (as HTML) to show for this node.
getHTML() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprCall
Returns the description (as HTML) to show for this node.
getHTML() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprChoice
Returns the description (as HTML) to show for this node.
getHTML() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprConstant
Returns the description (as HTML) to show for this node.
getHTML() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprITE
Returns the description (as HTML) to show for this node.
getHTML() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprLet
Returns the description (as HTML) to show for this node.
getHTML() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprList
Returns the description (as HTML) to show for this node.
getHTML() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprQt
Returns the description (as HTML) to show for this node.
getHTML() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprUnary
Returns the description (as HTML) to show for this node.
getHTML() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprVar
Returns the description (as HTML) to show for this node.
getHTML() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Func
Returns the description (as HTML) to show for this node.
getHTML() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Sig.Field
Returns the description (as HTML) to show for this node.
getHTML() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Sig
Returns the description (as HTML) to show for this node.
getHTML() - Method in class edu.mit.csail.sdg.alloy4compiler.parser.CompModule
Returns the description (as HTML) to show for this node.
getIcon(DotPalette) - Method in enum edu.mit.csail.sdg.alloy4graph.DotColor
Returns the Icon that will be displayed in the GUI to represent this value, when used with the given palette.
getIcon() - Method in enum edu.mit.csail.sdg.alloy4graph.DotShape
Returns the Icon that will be displayed in the GUI to represent this value, when used with the given palette.
getIcon() - Method in enum edu.mit.csail.sdg.alloy4graph.DotStyle
Returns the Icon that will be displayed in the GUI to represent this value, when used with the given palette.
getInput(String, Object...) - Static method in class edu.mit.csail.sdg.alloy4.OurDialog
Display a modal dialog window containing the "objects"; returns true iff the user clicks Ok.
getInstances() - Method in class edu.mit.csail.sdg.alloy4viz.VizGUI
Return the list of XML files loaded in this session so far.
getInstanceTitle(String) - Method in class edu.mit.csail.sdg.alloy4viz.VizGUI
Returns a short descriptive title associated with an XML file.
getLabelH() - Method in class edu.mit.csail.sdg.alloy4graph.GraphEdge
Return the height of the label box.
getLabelW() - Method in class edu.mit.csail.sdg.alloy4graph.GraphEdge
Return the width of the label box.
getLabelX() - Method in class edu.mit.csail.sdg.alloy4graph.GraphEdge
Return the X coordinate of the top-left corner of the label box.
getLabelY() - Method in class edu.mit.csail.sdg.alloy4graph.GraphEdge
Return the Y coordinate of the top-left corner of the label box.
getLeft() - Method in class edu.mit.csail.sdg.alloy4graph.Graph
Assuming layout() has been called, this returns the left edge.
getLineCount() - Method in class edu.mit.csail.sdg.alloy4.OurSyntaxWidget
Return the number of lines represented by the current text (where partial line counts as a line).
getLineOfOffset(int) - Method in class edu.mit.csail.sdg.alloy4.OurSyntaxWidget
Return the line number that the offset is in (If "offset" argument is too large, it will just return do_getLineCount()-1).
getLineStartOffset(int) - Method in class edu.mit.csail.sdg.alloy4.OurSyntaxWidget
Return the starting offset of the given line (If "line" argument is too large, it will return the last line's starting offset)
getMaxAscent() - Static method in class edu.mit.csail.sdg.alloy4graph.Artist
Returns the max ascent when drawing text using the given font size and font boldness settings.
getMaxAscentAndDescent() - Static method in class edu.mit.csail.sdg.alloy4graph.Artist
Returns the sum of the max ascent and max descent when drawing text using the given font size and font boldness settings.
getMaxSeq() - Method in class edu.mit.csail.sdg.alloy4compiler.translator.A4Solution
Returns the maximum allowed sequence length; always between 0 and 2^(bitwidth-1)-1.
getModelName() - Method in interface edu.mit.csail.sdg.alloy4compiler.ast.Module
Returns the text of the "MODULE" line at the top of the file; "unknown" if the line has not be parsed from the file yet.
getModelName() - Method in class edu.mit.csail.sdg.alloy4compiler.parser.CompModule
Returns the text of the "MODULE" line at the top of the file; "unknown" if the line has not be parsed from the file yet.
getName() - Method in class edu.mit.csail.sdg.alloy4viz.AlloyElement
Returns the name of this element.
getNodePalette() - Method in class edu.mit.csail.sdg.alloy4viz.VizState
Gets the default node palette.
getOpens() - Method in class edu.mit.csail.sdg.alloy4compiler.parser.CompModule
Returns an unmodifiable copy of the current list of OPEN statements.
getOriginalCommand() - Method in class edu.mit.csail.sdg.alloy4compiler.translator.A4Solution
Returns the original command that generated this solution; can be "" if unknown.
getOriginalFilename() - Method in class edu.mit.csail.sdg.alloy4compiler.translator.A4Solution
Returns the original Alloy file name that generated this solution; can be "" if unknown.
getOriginalInstance() - Method in class edu.mit.csail.sdg.alloy4viz.VizState
Returns the original unprojected model.
getOriginalModel() - Method in class edu.mit.csail.sdg.alloy4viz.VizState
Returns the original unprojected model.
getPanel() - Method in class edu.mit.csail.sdg.alloy4viz.VizGUI
Returns the JSplitPane containing the customization/evaluator panel in the left and the graph on the right.
getPreferredSize() - Method in class edu.mit.csail.sdg.alloy4graph.GraphViewer
Returns the preferred size of this component.
getProjectedAtom(AlloyType) - Method in class edu.mit.csail.sdg.alloy4viz.AlloyProjection
Return the atom chosen for that type; returns null if that type is not projected.
getProjectedTypes() - Method in class edu.mit.csail.sdg.alloy4viz.AlloyProjection
Return the sorted unmodifiable collection of types we are projecting.
getProjectedTypes() - Method in class edu.mit.csail.sdg.alloy4viz.VizState
Gets an unmodifiable copy of the set of types we are currently projecting over.
getRealModule() - Method in class edu.mit.csail.sdg.alloy4compiler.parser.CompModule.Open
Returns the actual Module object that it points to; null if we have not resolved it.
getRelations() - Method in class edu.mit.csail.sdg.alloy4viz.AlloyModel
Returns an unmodifiable sorted set of all AlloyRelation(s) in this model.
getRootModule() - Method in class edu.mit.csail.sdg.alloy4compiler.parser.CompModule
Returns a pointer to the root module in this world.
getScanner() - Method in class java_cup.runtime.lr_parser
Simple accessor method to get the default scanner.
getScope(Sig) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Command
Helper method that returns the scope corresponding to a given sig (or return null if the sig isn't named in this command)
getScreenHeight() - Static method in class edu.mit.csail.sdg.alloy4.OurUtil
Returns the screen height (in pixels).
getScreenWidth() - Static method in class edu.mit.csail.sdg.alloy4.OurUtil
Returns the screen width (in pixels).
getSets() - Method in class edu.mit.csail.sdg.alloy4viz.AlloyModel
Returns an unmodifiable sorted set of all AlloySet(s) in this model.
getStart() - Method in class edu.mit.csail.sdg.alloy4viz.AlloyTuple
Returns the first AlloyAtom in this AlloyTuple.
getSubnodes() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Browsable
Returns a list of subnodes for this node.
getSubnodes() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Command
Returns a list of subnodes for this node.
getSubnodes() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprBad
Returns a list of subnodes for this node.
getSubnodes() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprBadCall
Returns a list of subnodes for this node.
getSubnodes() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprBadJoin
Returns a list of subnodes for this node.
getSubnodes() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprBinary
Returns a list of subnodes for this node.
getSubnodes() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprCall
Returns a list of subnodes for this node.
getSubnodes() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprChoice
Returns a list of subnodes for this node.
getSubnodes() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprConstant
Returns a list of subnodes for this node.
getSubnodes() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprITE
Returns a list of subnodes for this node.
getSubnodes() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprLet
Returns a list of subnodes for this node.
getSubnodes() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprList
Returns a list of subnodes for this node.
getSubnodes() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprQt
Returns a list of subnodes for this node.
getSubnodes() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprUnary
Returns a list of subnodes for this node.
getSubnodes() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprVar
Returns a list of subnodes for this node.
getSubnodes() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Func
Returns a list of subnodes for this node.
getSubnodes() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Sig.Field
Returns a list of subnodes for this node.
getSubnodes() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Sig
Returns a list of subnodes for this node.
getSubnodes() - Method in class edu.mit.csail.sdg.alloy4compiler.parser.CompModule
Returns a list of subnodes for this node.
getSubTypes(AlloyType) - Method in class edu.mit.csail.sdg.alloy4viz.AlloyModel
Returns a sorted, unmodifiable list of types that are direct or indirect subtypes of the given type.
getSuperType(AlloyType) - Method in class edu.mit.csail.sdg.alloy4viz.AlloyModel
If type==univ, return null; otherwise, return a nonnull AlloyType object representing its super type.
getSymbolFactory() - Method in class java_cup.runtime.lr_parser
Whenever creation of a new Symbol is necessary, one should use this factory.
getText() - Method in class edu.mit.csail.sdg.alloy4.OurSyntaxWidget
Return the entire text.
getText() - Method in class edu.mit.csail.sdg.alloy4.XMLNode
Returns the text if this is a text node, returns "" otherwise.
getThemeFilename() - Method in class edu.mit.csail.sdg.alloy4viz.VizGUI
Returns the current THM filename; "" if no theme file is currently loaded.
getTop() - Method in class edu.mit.csail.sdg.alloy4graph.Graph
Assuming layout() has been called, this returns the top edge.
getTopmostSuperType(AlloyType) - Method in class edu.mit.csail.sdg.alloy4viz.AlloyModel
If type==univ, return null; otherwise, return a nonnull AlloyType object representing its topmost non-univ super type.
getTotalHeight() - Method in class edu.mit.csail.sdg.alloy4graph.Graph
Assuming layout() has been called, this returns the total height.
getTotalWidth() - Method in class edu.mit.csail.sdg.alloy4graph.Graph
Assuming layout() has been called, this returns the total width.
getTuple() - Method in class edu.mit.csail.sdg.alloy4compiler.sim.SimTupleset
Returns an arbitrary tuple.
getType() - Method in class edu.mit.csail.sdg.alloy4.XMLNode
Returns the type of the element.
getType() - Method in class edu.mit.csail.sdg.alloy4viz.AlloyAtom
Return the type of the AlloyAtom.
getType() - Method in class edu.mit.csail.sdg.alloy4viz.AlloySet
Returns the parent type of the AlloySet.
getTypes() - Method in class edu.mit.csail.sdg.alloy4viz.AlloyModel
Returns an unmodifiable sorted set of all AlloyType(s) in this model.
getTypes() - Method in class edu.mit.csail.sdg.alloy4viz.AlloyRelation
Returns an unmodifiable list of AlloyTypes representing the relation's type.
getViewer() - Method in class edu.mit.csail.sdg.alloy4viz.VizGUI
Returns the GraphViewer that contains the graph; can be null if the graph hasn't been loaded yet.
getVizFont() - Static method in class edu.mit.csail.sdg.alloy4.OurUtil
Returns the recommended font to use in the visualizer, based on the OS.
getVizName(VizState, boolean) - Method in class edu.mit.csail.sdg.alloy4viz.AlloyAtom
Return a label for this atom as recommended by a theme (theme can be null if there's no theme to consult).
getVizState() - Method in class edu.mit.csail.sdg.alloy4viz.VizGUI
Returns the current visualization settings (and you can call getOriginalInstance() on it to get the current instance).
getXMLfilename() - Method in class edu.mit.csail.sdg.alloy4viz.VizGUI
Returns the current XML filename; "" if no file is currently loaded.
GHOST - Static variable in class edu.mit.csail.sdg.alloy4compiler.ast.Sig
The built-in "none" signature.
Graph - Class in edu.mit.csail.sdg.alloy4graph
Mutable; represents a graph.
Graph(double) - Constructor for class edu.mit.csail.sdg.alloy4graph.Graph
Constructs an empty Graph object.
GraphEdge - Class in edu.mit.csail.sdg.alloy4graph
Mutable; represents a graphical edge.
GraphEdge(GraphNode, GraphNode, Object, String, Object) - Constructor for class edu.mit.csail.sdg.alloy4graph.GraphEdge
Construct an edge from "from" to "to", then add the edge to the graph.
GraphNode - Class in edu.mit.csail.sdg.alloy4graph
Mutable; represents a graphical node.
GraphNode(Graph, Object, String...) - Constructor for class edu.mit.csail.sdg.alloy4graph.GraphNode
Create a new node with the given list of labels, then add it to the given graph.
GraphViewer - Class in edu.mit.csail.sdg.alloy4graph
This class displays the graph.
GraphViewer(Graph) - Constructor for class edu.mit.csail.sdg.alloy4graph.GraphViewer
Construct a GraphViewer that displays the given graph.
group - Variable in class edu.mit.csail.sdg.alloy4graph.GraphEdge
a user-provided annotation that will be associated with this edge (all edges with same group will be highlighted together)
gt(Expr) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Expr
Returns the formula (this > x)
GT - Static variable in class edu.mit.csail.sdg.alloy4compiler.parser.CompSym
 
gte(Expr) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Expr
Returns the formula (this >= x)
GTE - Static variable in class edu.mit.csail.sdg.alloy4compiler.parser.CompSym
 

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 _