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 _

S

SafeList<T> - Class in edu.mit.csail.sdg.alloy4

This list allows add() but disallows remove() and set(); null values are allowed.

SafeList() - Constructor for class edu.mit.csail.sdg.alloy4.SafeList

Constructs a modifiable empty list.

SafeList(int) - Constructor for class edu.mit.csail.sdg.alloy4.SafeList

Constructs a modifiable empty list with the initial capacity.

SafeList(Collection<? extends T>) - Constructor for class edu.mit.csail.sdg.alloy4.SafeList

Constructs a modifiable list containing the elements from the given collection.

SafeList(Iterable<? extends T>) - Constructor for class edu.mit.csail.sdg.alloy4.SafeList

Constructs a modifiable list containing the elements from the given iterable.

SAT4J - Static variable in class edu.mit.csail.sdg.alloy4compiler.translator.A4Options.SatSolver

SAT4J using native Java

satisfiable() - Method in class edu.mit.csail.sdg.alloy4compiler.translator.A4Solution

Returns true iff the problem has been solved and the result is satisfiable.

save(boolean) - Method in class edu.mit.csail.sdg.alloy4.OurTabbedSyntaxWidget

Save the current tab content to the file system.

savePaletteXML(String) - Method in class edu.mit.csail.sdg.alloy4viz.VizState

Saves the current theme to a file (which will be overwritten if it exists already).

saveThemeFile(String) - Method in class edu.mit.csail.sdg.alloy4viz.VizGUI

This method saves a specific current theme (if filename==null, it asks the user); returns true if it succeeded.

scan() - Method in class java_cup.runtime.lr_parser

Get the next Symbol from the input (supplied by generated subclass).

Scanner - Interface in java_cup.runtime

Defines the Scanner interface, which CUP uses in the default implementation of lr_parser.scan().

scope(String) - Method in class edu.mit.csail.sdg.alloy4.A4Reporter

This method is called by the ScopeComputer to report the scope chosen for each sig.

scope - Variable in class edu.mit.csail.sdg.alloy4compiler.ast.Command

The list of scopes.

scrollpane(Component, Object...) - Static method in class edu.mit.csail.sdg.alloy4.OurUtil

Make a JScrollPane containing the given component (which can be null), then apply a set of attributes to it.

seeDot(boolean) - Method in class edu.mit.csail.sdg.alloy4viz.VizGraphPanel

Changes whether we are seeing the DOT source or not.

seen(String) - Method in class edu.mit.csail.sdg.alloy4.UniqueNameGenerator

Regard the provided name as "seen".

selfEdges() - Method in class edu.mit.csail.sdg.alloy4graph.GraphNode

Returns an unmodifiable view of the list of "self" edges.

SEQ - Static variable in class edu.mit.csail.sdg.alloy4compiler.parser.CompSym

SEQIDX - Static variable in class edu.mit.csail.sdg.alloy4compiler.ast.Sig

The built-in "seq/Int" signature.

SEQINT - Static variable in class edu.mit.csail.sdg.alloy4viz.AlloyType

This caches an instance of the "seq/Int" AlloyType, so we don't have to keep re-constructing it.

set(int, T) - Method in class edu.mit.csail.sdg.alloy4.ConstList.TempList

Changes the i-th element to be the given element, then return itself.

set(boolean) - Method in class edu.mit.csail.sdg.alloy4.Util.BooleanPref

Sets the value for this preference.

set(int) - Method in class edu.mit.csail.sdg.alloy4.Util.IntPref

Sets the value for this preference.

set(String) - Method in class edu.mit.csail.sdg.alloy4.Util.StringPref

Sets the value for this preference.

SET - Static variable in class edu.mit.csail.sdg.alloy4compiler.parser.CompSym

set() - Method in class edu.mit.csail.sdg.alloy4compiler.translator.A4Options.SatSolver

Saves this value into the Java preference object.

set(DotStyle, double) - Method in class edu.mit.csail.sdg.alloy4graph.Artist

Modifies the given Graphics2D object to use the line style representing by this object.

set(int) - Method in class edu.mit.csail.sdg.alloy4graph.GraphEdge

Sets the edge weight between 1 and 10000.

set(boolean, boolean) - Method in class edu.mit.csail.sdg.alloy4graph.GraphEdge

Sets whether we will draw an arrow head on the "from" node, and whether we will draw an arrow head on the "to" node.

set(DotStyle) - Method in class edu.mit.csail.sdg.alloy4graph.GraphEdge

Sets the line style.

set(Color) - Method in class edu.mit.csail.sdg.alloy4graph.GraphEdge

Sets the line color.

set(DotShape) - Method in class edu.mit.csail.sdg.alloy4graph.GraphNode

Changes the node shape (where null means change the node into a dummy node), then invalidate the computed bounds.

set(Color) - Method in class edu.mit.csail.sdg.alloy4graph.GraphNode

Changes the node color, then invalidate the computed bounds.

set(DotStyle) - Method in class edu.mit.csail.sdg.alloy4graph.GraphNode

Changes the line style, then invalidate the computed bounds.

SET - Static variable in class edu.mit.csail.sdg.alloy4viz.AlloyType

This caches an instance of the "set" AlloyType, so we don't have to keep re-constructing it.

set2atoms(AlloySet) - Method in class edu.mit.csail.sdg.alloy4viz.AlloyInstance

Returns an unmodifiable sorted list of AlloyAtom(s) in this set; answer can be an empty list.

setBackground(Color) - Method in class edu.mit.csail.sdg.alloy4.OurCheckbox

This method is called by Swing to change its background color.

setBody(Expr) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Func

Changes the method body.

setBoldLine() - Method in class edu.mit.csail.sdg.alloy4.OurPDFWriter

Changes the line style to be bold.

setColor(Color) - Method in class edu.mit.csail.sdg.alloy4.OurPDFWriter

Changes the color for subsequent graphical drawing.

setColor(Color) - Method in class edu.mit.csail.sdg.alloy4graph.Artist

Changes the current color.

setCurrentDirectory(File) - Static method in class edu.mit.csail.sdg.alloy4.Util

Modifies the current "default directory" which is used by the FileOpen and FileSave dialogs.

setDashedLine() - Method in class edu.mit.csail.sdg.alloy4.OurPDFWriter

Changes the line style to be dashed.

setDottedLine() - Method in class edu.mit.csail.sdg.alloy4.OurPDFWriter

Changes the line style to be dotted.

setEdgePalette(DotPalette) - Method in class edu.mit.csail.sdg.alloy4viz.VizState

Sets the default edge palette.

setEnabled(boolean) - Method in class edu.mit.csail.sdg.alloy4.OurCheckbox

This method is called by Swing to enable/disable a component.

setFont(String, int, int) - Method in class edu.mit.csail.sdg.alloy4.OurTabbedSyntaxWidget

Changes the font name, font size, and tabsize of every text buffer.

setFont(boolean) - Method in class edu.mit.csail.sdg.alloy4graph.Artist

Changes the current font.

setFont(Font) - Method in class edu.mit.csail.sdg.alloy4viz.VizGraphPanel

Changes the font.

setFontBoldness(boolean) - Method in class edu.mit.csail.sdg.alloy4graph.GraphNode

Changes the font boldness, then invalidate the computed bounds.

setFontSize(int) - Method in class edu.mit.csail.sdg.alloy4viz.VizState

Sets the font size.

setNodePalette(DotPalette) - Method in class edu.mit.csail.sdg.alloy4viz.VizState

Sets the default node palette.

setNormalLine() - Method in class edu.mit.csail.sdg.alloy4.OurPDFWriter

Changes the line style to be normal.

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

Return the multiplicity expression "set this"

setOf(String) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Expr

Return a new declaration "v: set this"

setOf() - Method in class edu.mit.csail.sdg.alloy4compiler.sim.SimTupleset

Return an iterator over all subset x of this

setScanner(Scanner) - Method in class java_cup.runtime.lr_parser

Simple accessor method to set the default scanner.

setText(String) - Method in class edu.mit.csail.sdg.alloy4.OurSyntaxWidget

Change the entire text to the given text (and sets the modified flag)

setup() - Static method in class edu.mit.csail.sdg.alloy4.MailBug

Setup the uncaught-exception-handler and use a separate thread to query alloy.mit.edu for latest version number.

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

Returns the integer expression (this >> x)

SHA - Static variable in class edu.mit.csail.sdg.alloy4compiler.parser.CompSym

shade(Iterable<Pos>, Color, boolean) - Method in class edu.mit.csail.sdg.alloy4.OurTabbedSyntaxWidget

Highlights the text editor, based on the location information in the set of Pos objects.

shade(Pos) - Method in class edu.mit.csail.sdg.alloy4.OurTabbedSyntaxWidget

Highlights the text editor, based on the location information in the Pos object.

shape - Variable in class edu.mit.csail.sdg.alloy4viz.VizState

shape(AlloyAtom, AlloyInstance) - Method in class edu.mit.csail.sdg.alloy4viz.VizState

shift(RandomAccessFile, long, long) - Static method in class edu.mit.csail.sdg.alloy4.Util

Copy file.content[from...f.length-1] into file.content[to...], then truncate the file after that point.

shift_under_error() - Method in class java_cup.runtime.lr_parser

Determine if we can shift under the special error Symbol out of the state currently on the top of the (real) parse stack.

shiftCoordinateSpace(int, int) - Method in class edu.mit.csail.sdg.alloy4.OurPDFWriter

Shifts the coordinate space by the given amount.

shiftmask(int) - Static method in class edu.mit.csail.sdg.alloy4.Util

Returns a mask of the form 000..0011..11 where the number of 1s is equal to the number of significant bits of the highest integer withing the given bitwidth

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

Returns the integer expression (this << x)

SHL - Static variable in class edu.mit.csail.sdg.alloy4compiler.parser.CompSym

show(JFrame) - Static method in class edu.mit.csail.sdg.alloy4.OurUtil

Make the frame visible, non-iconized, and focused.

showAsAttr - Variable in class edu.mit.csail.sdg.alloy4viz.VizState

showAsLabel - Variable in class edu.mit.csail.sdg.alloy4viz.VizState

showAsTree(Listener) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Browsable

Display this node and its subnodes as a tree; if listener!=null, it will receive OurTree.Event.SELECT events when nodes are selected.

showAsTree(Listener) - Method in interface edu.mit.csail.sdg.alloy4compiler.ast.Module

Display this object (and so objects) as a tree; if listener!=null, it will receive OurTree.Event.SELECT events.

showmsg(String, Object...) - Static method in class edu.mit.csail.sdg.alloy4.OurDialog

Popup the given informative message, then ask the user to click Close to close it.

showtext(String, String) - Static method in class edu.mit.csail.sdg.alloy4.OurDialog

Display a simple non-modal window showing some text.

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

Returns the integer expression (this >>> x)

SHR - Static variable in class edu.mit.csail.sdg.alloy4compiler.parser.CompSym

sig - Variable in class edu.mit.csail.sdg.alloy4compiler.ast.CommandScope

The sig whose scope is being given by this CommandScope object.

Sig - Class in edu.mit.csail.sdg.alloy4compiler.ast

Mutable; represents a signature.

sig - Variable in class edu.mit.csail.sdg.alloy4compiler.ast.Sig.Field

The sig that this field belongs to; never null.

SIG - Static variable in class edu.mit.csail.sdg.alloy4compiler.parser.CompSym

sig(int) - Method in class edu.mit.csail.sdg.alloy4compiler.translator.A4Tuple

Return the most-specific-sig for the i-th atom in this Tuple.

Sig.Field - Class in edu.mit.csail.sdg.alloy4compiler.ast

Mutable; represents a field.

Sig.PrimSig - Class in edu.mit.csail.sdg.alloy4compiler.ast

Mutable; reresents a non-subset signature.

Sig.PrimSig(String, Sig.PrimSig, Attr...) - Constructor for class edu.mit.csail.sdg.alloy4compiler.ast.Sig.PrimSig

Constructs a non-builtin sig.

Sig.PrimSig(String, Attr...) - Constructor for class edu.mit.csail.sdg.alloy4compiler.ast.Sig.PrimSig

Constructs a toplevel non-builtin sig.

Sig.SubsetSig - Class in edu.mit.csail.sdg.alloy4compiler.ast

Mutable; reresents a subset signature.

Sig.SubsetSig(String, Collection<Sig>, Attr...) - Constructor for class edu.mit.csail.sdg.alloy4compiler.ast.Sig.SubsetSig

Constructs a subset sig.

SIGINT - Static variable in class edu.mit.csail.sdg.alloy4compiler.ast.Sig

The built-in "Int" signature.

SIGINT - Static variable in class edu.mit.csail.sdg.alloy4compiler.parser.CompSym

SimAtom - Class in edu.mit.csail.sdg.alloy4compiler.sim

Immutable; represents an atom.

SimCallback - Interface in edu.mit.csail.sdg.alloy4compiler.sim

This interface represents callback objects (that can be plugged into SimContext to perform more efficient evaluations)

SimInstance - Class in edu.mit.csail.sdg.alloy4compiler.sim

Mutable; represents an instance.

SimInstance(Module, int, int) - Constructor for class edu.mit.csail.sdg.alloy4compiler.sim.SimInstance

Construct a new simulation context with the given bitwidth and the given maximum sequence length.

SimInstance(SimInstance) - Constructor for class edu.mit.csail.sdg.alloy4compiler.sim.SimInstance

Construct a deep copy of this instance (except that it shares the same root Module object as the old instance)

SimpleCLI - Class in edu.mit.csail.sdg.alloy4whole

This class is used by the Alloy developers to drive the regression test suite.

SimpleGUI - Class in edu.mit.csail.sdg.alloy4whole

Simple graphical interface for accessing various features of the analyzer.

Simplifier - Class in edu.mit.csail.sdg.alloy4compiler.translator

Immutable; this class shrinks the unknowns as much as possible in order to reduce the number of variables in final CNF.

Simplifier() - Constructor for class edu.mit.csail.sdg.alloy4compiler.translator.Simplifier

Construct a Simplifier object.

simplify(A4Reporter, A4Solution, List<Formula>) - Method in class edu.mit.csail.sdg.alloy4compiler.translator.Simplifier

Simplify sol.bounds() based on the set of formulas, or to modify the formulas list itself.

SimTuple - Class in edu.mit.csail.sdg.alloy4compiler.sim

Immutable; represents a tuple.

SimTupleset - Class in edu.mit.csail.sdg.alloy4compiler.sim

Immutable; represents a tupleset.

size() - Method in class edu.mit.csail.sdg.alloy4.ConstList

Returns the number of elements in this list.

size() - Method in class edu.mit.csail.sdg.alloy4.ConstList.TempList

Returns the size of the list.

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

Returns the number of (key, value) mapping in this map.

size() - Method in class edu.mit.csail.sdg.alloy4.ConstSet

Returns the number of objects in this set.

size() - Method in class edu.mit.csail.sdg.alloy4.JoinableList

Returns the number of elements in this list.

size() - Method in class edu.mit.csail.sdg.alloy4.SafeList

Returns the size of the list.

size() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Type

Returns the number of ProductType entries in this type.

size() - Method in class edu.mit.csail.sdg.alloy4compiler.sim.SimTupleset

Returns the number of tuples in this tupleset (this answer may be truncated if it cannot fit in a 32-bit integer)

size() - Method in class edu.mit.csail.sdg.alloy4compiler.translator.A4TupleSet

Returns the number of tuples in this tuple set.

skolemDepth - Variable in class edu.mit.csail.sdg.alloy4compiler.translator.A4Options

This option specifies the maximum skolem-function depth.

SLASH - Static variable in class edu.mit.csail.sdg.alloy4compiler.parser.CompSym

slashComparator - Static variable in class edu.mit.csail.sdg.alloy4.Util

Sorts two strings for optimum module order; we guarantee slashComparator(a,b)==0 iff a.equals(b).

slightlyShorterFilename(String) - Static method in class edu.mit.csail.sdg.alloy4whole.SimpleGUI

Helper method that returns a hopefully very short name for a file name.

smallIntType() - Static method in class edu.mit.csail.sdg.alloy4compiler.ast.Type

solve(int, int, int) - Method in class edu.mit.csail.sdg.alloy4.A4Reporter

This method is called by the translator just after it generated the CNF.

solver - Variable in class edu.mit.csail.sdg.alloy4compiler.translator.A4Options

This option specifies the SAT solver to use (SAT4J, MiniSatJNI, MiniSatProverJNI, ZChaffJNI...)

solverDirectory - Variable in class edu.mit.csail.sdg.alloy4compiler.translator.A4Options

When this.solver is external, and the solver filename is a relative filename, then this option specifies the directory that the solver filename is relative to.

SOME - Static variable in class edu.mit.csail.sdg.alloy4compiler.ast.Attr

SOME; if a Sig is some, it has at least one atom.

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

Returns the formula (some this)

SOME - Static variable in class edu.mit.csail.sdg.alloy4compiler.parser.CompSym

SOME2 - Static variable in class edu.mit.csail.sdg.alloy4compiler.parser.CompSym

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

Returns the multiplicity constraint (this some->set x)

SOME_ARROW_ANY - Static variable in class edu.mit.csail.sdg.alloy4compiler.parser.CompSym

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

Returns the multiplicity constraint (this some->lone x)

SOME_ARROW_LONE - Static variable in class edu.mit.csail.sdg.alloy4compiler.parser.CompSym

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

Returns the multiplicity constraint (this some->one x)

SOME_ARROW_ONE - Static variable in class edu.mit.csail.sdg.alloy4compiler.parser.CompSym

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

Returns the multiplicity constraint (this some->some x)

SOME_ARROW_SOME - Static variable in class edu.mit.csail.sdg.alloy4compiler.parser.CompSym

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

Return the multiplicity expression "some this"

someOf(String) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Expr

Return a new declaration "v: some this"

someOf() - Method in class edu.mit.csail.sdg.alloy4compiler.sim.SimTupleset

Return an iterator over all subset x of this where x.size>=1

span() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Browsable

Returns a Pos object representing the entire span of this Expr and all its subexpressions.

span() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Command

Returns a Pos object representing the entire span of this Expr and all its subexpressions.

span() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Decl

Returns a Pos object representing the entire span of this expression and all its subexpressions.

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

Returns a Pos object representing the entire span of this Expr and all its subexpressions.

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

Returns a Pos object representing the entire span of this Expr and all its subexpressions.

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

Returns a Pos object representing the entire span of this Expr and all its subexpressions.

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

Returns a Pos object representing the entire span of this Expr and all its subexpressions.

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

Returns a Pos object representing the entire span of this Expr and all its subexpressions.

span() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprChoice

Returns a Pos object representing the entire span of this Expr and all its subexpressions.

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

Returns a Pos object representing the entire span of this Expr and all its subexpressions.

span() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprCustom

Returns a Pos object representing the entire span of this Expr and all its subexpressions.

span() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprHasName

Returns a Pos object representing the entire span of this Expr and all its subexpressions.

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

Returns a Pos object representing the entire span of this Expr and all its subexpressions.

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

Returns a Pos object representing the entire span of this Expr and all its subexpressions.

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

Returns a Pos object representing the entire span of this Expr and all its subexpressions.

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

Returns a Pos object representing the entire span of this Expr and all its subexpressions.

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

Returns a Pos object representing the entire span of this Expr and all its subexpressions.

span() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Func

Returns a Pos object representing the entire span of this Expr and all its subexpressions.

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

Returns a Pos object representing the entire span of this Expr and all its subexpressions.

span() - Method in class edu.mit.csail.sdg.alloy4compiler.parser.CompModule

Returns a Pos object representing the entire span of this Expr and all its subexpressions.

SpearPIPE - Static variable in class edu.mit.csail.sdg.alloy4compiler.translator.A4Options.SatSolver

Spear via pipe

splitpane(int, Component, Component, int) - Static method in class edu.mit.csail.sdg.alloy4.OurUtil

Constructs a new SplitPane containing the two components given as arguments

stack - Variable in class java_cup.runtime.lr_parser

The parse stack itself.

STAR - Static variable in class edu.mit.csail.sdg.alloy4compiler.parser.CompSym

start_production() - Method in class edu.mit.csail.sdg.alloy4compiler.parser.CompParser

Indicates start production.

start_production() - Method in class java_cup.runtime.lr_parser

The index of the start production (supplied by generated subclass).

start_state() - Method in class edu.mit.csail.sdg.alloy4compiler.parser.CompParser

Indicates start state.

start_state() - Method in class java_cup.runtime.lr_parser

The index of the start state (supplied by generated subclass).

startingScope - Variable in class edu.mit.csail.sdg.alloy4compiler.ast.CommandScope

The starting scope.

startSymbol(String, int, int) - Method in class java_cup.runtime.DefaultSymbolFactory

startSymbol(String, int, int) - Method in interface java_cup.runtime.SymbolFactory

Construction of start symbol

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

This utility class generates a graph for a particular index of the projection.

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

This utility class parses an XML file into an AlloyInstance object.

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

This utility class performs projection of AlloyModel and AlloyInstance.

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

This utility class contains methods to read and write VizState customizations.

stop() - Static method in class edu.mit.csail.sdg.alloy4.WorkerEngine

This terminates the subprocess, and prevent any further results from reaching the parent's callback handler.

STR - Static variable in class edu.mit.csail.sdg.alloy4compiler.parser.CompSym

string - Variable in class edu.mit.csail.sdg.alloy4compiler.ast.ExprConstant

If this node is a String constant, then this field stores the String, else this field stores "".

STRING - Static variable in class edu.mit.csail.sdg.alloy4compiler.ast.Sig

The built-in "String" signature.

STRING - Static variable in class edu.mit.csail.sdg.alloy4compiler.parser.CompSym

STRING - Static variable in class edu.mit.csail.sdg.alloy4viz.AlloyType

This caches an instance of the "String" AlloyType, so we don't have to keep re-constructing it.

style() - Method in class edu.mit.csail.sdg.alloy4graph.GraphEdge

Returns the line style; never null.

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

The body of the LET expression.

sub - Variable in class edu.mit.csail.sdg.alloy4compiler.ast.ExprQt

The body of the quantified expression.

sub - Variable in class edu.mit.csail.sdg.alloy4compiler.ast.ExprUnary

The subexpression.

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

This provides a convenience wrapper around a Process object.

SUBSET - Static variable in class edu.mit.csail.sdg.alloy4compiler.ast.Attr

SUBSET; every SubsetSig has the SUBSET attribute set, and the SUBSIG attribute unset.

SUBSIG - Static variable in class edu.mit.csail.sdg.alloy4compiler.ast.Attr

SUBSIG; every PrimSig (including the builtin sigs) has the SUBSIG attribute set, and the SUBSET attribute unset.

SUM - Static variable in class edu.mit.csail.sdg.alloy4compiler.parser.CompSym

sum() - Method in class edu.mit.csail.sdg.alloy4compiler.sim.SimTupleset

Sum up all the integer atoms in this tupleset; (if this tupleset's arity is not 1, then we return 0)

SUM2 - Static variable in class edu.mit.csail.sdg.alloy4compiler.parser.CompSym

sumOver(Decl, Decl...) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Expr

Returns the integer (sum...| this)

sym - Variable in class java_cup.runtime.Symbol

The symbol number of the terminal or non terminal being represented

Symbol - Class in java_cup.runtime

Defines the Symbol class, which is used to represent all terminals and nonterminals while parsing.

Symbol(int, Symbol, Symbol, Object) - Constructor for class java_cup.runtime.Symbol

Symbol(int, Symbol, Symbol) - Constructor for class java_cup.runtime.Symbol

Symbol(int, int, int, Object) - Constructor for class java_cup.runtime.Symbol

Constructor for l,r values

Symbol(int, Pos, Object) - Constructor for class java_cup.runtime.Symbol

Constructor for no l,r values

Symbol(int, int, int) - Constructor for class java_cup.runtime.Symbol

Constructor for no value

Symbol(int) - Constructor for class java_cup.runtime.Symbol

Constructor for no value or l,r

symbolFactory - Variable in class java_cup.runtime.lr_parser

SymbolFactory - Interface in java_cup.runtime

Creates the Symbols interface, which CUP uses as default

symmetry - Variable in class edu.mit.csail.sdg.alloy4compiler.translator.A4Options

This option specifies the amount of symmetry breaking to do (when symmetry breaking isn't explicitly disabled).

syntax_error(Symbol) - Method in class edu.mit.csail.sdg.alloy4compiler.parser.CompParser

syntax_error(Symbol) - Method in class java_cup.runtime.lr_parser

This method is called when a syntax error has been detected and recovery is about to be invoked.