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 _

N

names - Variable in class edu.mit.csail.sdg.alloy4compiler.ast.Decl

The list of names.

newSymbol(String, int, Symbol, Symbol, Object) - Method in class java_cup.runtime.DefaultSymbolFactory

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

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

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

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

newSymbol(String, Pos, int, Object) - Method in class java_cup.runtime.DefaultSymbolFactory

newSymbol(String, int, Symbol, Symbol, Object) - Method in interface java_cup.runtime.SymbolFactory

Construction with left/right propagation switched on

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

newSymbol(String, Pos, int, Object) - Method in interface java_cup.runtime.SymbolFactory

Construction with left/right propagation switched off

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

newtab(String) - Method in class edu.mit.csail.sdg.alloy4.OurTabbedSyntaxWidget

Create a new tab with the given filename (if filename==null, we'll create a blank tab instead)

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

Switches to the next tab.

NEXT - Static variable in class edu.mit.csail.sdg.alloy4compiler.ast.ExprConstant

The "next" relation relating each integer to its next larger integer.

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

If this solution is UNSAT, return itself; else return the next solution (which could be SAT or UNSAT).

next_token() - Method in class edu.mit.csail.sdg.alloy4compiler.parser.CompLexer

Resumes scanning until the next regular expression is matched, the end of input is encountered or an I/O-Error occurs.

next_token() - Method in interface java_cup.runtime.Scanner

Return the next token, or null on end-of-file.

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

Returns the formula (no this)

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

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

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

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

nodes - Variable in class edu.mit.csail.sdg.alloy4graph.Graph

An unmodifiable view of the list of nodes.

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

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

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

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

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

The built-in "none" signature.

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

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

This option specifies whether the solver should report only solutions that don't cause any overflows.

NOP - Static variable in class edu.mit.csail.sdg.alloy4.A4Reporter

This is a pre-constructed instance that simply ignores all calls.

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

Returns the formula (not this)

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

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

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

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

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

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

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

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

If this node is a number constant, then this field stores the number, else this field stores 0.

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

Return the number if this node is a number constant, otherwise return 0.

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

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