Here is a list of all class members with links to the classes they belong to:
- n
: edu.mit.csail.sdg.squander.examples.partitioning.Graph
, edu.mit.csail.sdg.squander.examples.sudoku.Sudoku1
, edu.mit.csail.sdg.squander.examples.sudoku.Sudoku3
, edu.mit.csail.sdg.squander.examples.sudoku.Sudoku4
, edu.mit.csail.sdg.squander.examples.sudoku.Sudoku2
, edu.mit.csail.sdg.squander.examples.sudoku.Sudoku5
- name
: edu.mit.csail.sdg.squander.spec.JField
, edu.mit.csail.sdg.squander.spec.JMethod
, edu.mit.csail.sdg.squander.spec.JType
, edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl.Tr2KK.StackElem
- NameSpace()
: edu.mit.csail.sdg.squander.spec.NameSpace
- newEdge()
: edu.mit.csail.sdg.squander.examples.graph2.Graph
, edu.mit.csail.sdg.squander.examples.graph.Graph
, edu.mit.csail.sdg.squander.examples.graph.Graph__2
- newInstance()
: edu.mit.csail.sdg.squander.serializer.special.ArraySer
, edu.mit.csail.sdg.squander.serializer.special.DefaultObjSer
, edu.mit.csail.sdg.squander.serializer.special.IObjSer
, edu.mit.csail.sdg.squander.serializer.special.ListSer
, edu.mit.csail.sdg.squander.serializer.special.MapSer
, edu.mit.csail.sdg.squander.serializer.special.SetSer
, edu.mit.csail.sdg.squander.serializer.special.StringSer
, edu.mit.csail.sdg.squander.utils.ReflectionUtils
- newJavaField()
: edu.mit.csail.sdg.squander.spec.JField
- newLocalVar()
: edu.mit.csail.sdg.squander.spec.ForgeEnv
, edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv
- newNode()
: edu.mit.csail.sdg.squander.examples.graph.Graph__2
, edu.mit.csail.sdg.squander.examples.graph2.Graph
, edu.mit.csail.sdg.squander.examples.graph.Graph
- newObject()
: edu.mit.csail.sdg.squander.engine.Heap2Bounds
, edu.mit.csail.sdg.squander.serializer.AbstractHeapListener
, edu.mit.csail.sdg.squander.serializer.ConsoleHeap
, edu.mit.csail.sdg.squander.serializer.HeapListener
- newSpecField()
: edu.mit.csail.sdg.squander.spec.JField
- newThisVariable()
: edu.mit.csail.sdg.squander.spec.ForgeScene
- newUndirectedEdge()
: edu.mit.csail.sdg.squander.examples.graph.Graph
- next
: edu.mit.csail.sdg.squander.forge_examples.TopologicalSort
, edu.mit.csail.sdg.squander.examples.javacol.Collections
, edu.mit.csail.sdg.squander.examples.list.func.IntList
- nextAtomForLiteral()
: edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodPartImpl
- nextSolution()
: edu.mit.csail.sdg.squander.engine.ForgeEval
, edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl.KodkodEval
- Node()
: edu.mit.csail.sdg.squander.examples.equiv.Node
- node
: edu.mit.csail.sdg.squander.forge_examples.BinarySearchTree
, edu.mit.csail.sdg.squander.forge_examples.TopologicalSort
, edu.mit.csail.sdg.squander.spec.Source
- node2expr()
: edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl
- node2form()
: edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl
- node2int()
: edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl
- nodeInsts
: edu.mit.csail.sdg.squander.forge_examples.BinarySearchTree
- nodes()
: edu.mit.csail.sdg.squander.examples.graph.Graph
, edu.mit.csail.sdg.squander.examples.graph.Graph__2
, edu.mit.csail.sdg.squander.examples.graph2.Graph
, edu.mit.csail.sdg.squander.examples.list.LinkedList
, edu.mit.csail.sdg.squander.examples.list.LinkedList_ind
, edu.mit.csail.sdg.squander.examples.setpoly.IntSet
, edu.mit.csail.sdg.squander.examples.setpoly.SetIntSet
, edu.mit.csail.sdg.squander.examples.bst.BST_noSpecFldTest
, edu.mit.csail.sdg.squander.examples.graph.Graph
, edu.mit.csail.sdg.squander.forge_examples.TopologicalSort
, edu.mit.csail.sdg.squander.examples.graph.Graph__2
, edu.mit.csail.sdg.squander.examples.bst.BinarySearchTreeTest
, edu.mit.csail.sdg.squander.examples.bst.BST_noParentTest
- nonAbstractSpecFields()
: edu.mit.csail.sdg.squander.spec.ForgeScene
- nonnegs()
: edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl
- NONNULL_FORMAT
: edu.mit.csail.sdg.squander.spec.ReflectiveSpecProvider
- nqueens()
: edu.mit.csail.sdg.squander.examples.chess.ChessBoardMan
, edu.mit.csail.sdg.squander.examples.chess.ChessBoard
- nqueens2()
: edu.mit.csail.sdg.squander.examples.chess.ChessBoard
- nqueens_int()
: edu.mit.csail.sdg.squander.examples.chess.ChessBoard
- nqueens_rel()
: edu.mit.csail.sdg.squander.examples.chess.ChessBoard
- ns
: edu.mit.csail.sdg.squander.spec.Source
, edu.mit.csail.sdg.squander.spec.SpecFileSpecProvider.MyVisitor
- NULL
: edu.mit.csail.sdg.squander.parser.JFSLParser
, edu.mit.csail.sdg.squander.parser.JFSLLexer
- nullLit
: edu.mit.csail.sdg.squander.spec.ForgeScene
- nullType()
: edu.mit.csail.sdg.squander.spec.ForgeEnv
, edu.mit.csail.sdg.squander.spec.ForgeScene
, edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv
, edu.mit.csail.sdg.squander.spec.ForgeScene
- num
: edu.mit.csail.sdg.squander.forge_examples.TopologicalSort
, edu.mit.csail.sdg.squander.annotations.FreshObjects
- Num()
: edu.mit.csail.sdg.squander.examples.sudoku.Sudoku4.Num
- NUM_NODES
: edu.mit.csail.sdg.squander.examples.bst.BST_noSpecFld
, edu.mit.csail.sdg.squander.examples.bst.BST_noParent
, edu.mit.csail.sdg.squander.examples.bst.BinarySearchTree
- numEdges()
: edu.mit.csail.sdg.squander.examples.graph.Graph
, edu.mit.csail.sdg.squander.examples.graph.Graph__2
, edu.mit.csail.sdg.squander.examples.graph2.Graph
- numLiteralsFor()
: edu.mit.csail.sdg.squander.spec.ForgeScene
- numNodes()
: edu.mit.csail.sdg.squander.examples.graph2.Graph
, edu.mit.csail.sdg.squander.examples.graph.Graph__2
, edu.mit.csail.sdg.squander.examples.graph.Graph
- nums
: edu.mit.csail.sdg.squander.examples.sudoku.Sudoku4
, edu.mit.csail.sdg.squander.examples.sudoku.Sudoku5
, edu.mit.csail.sdg.squander.examples.sudoku.Sudoku3
- numTypes
: edu.mit.csail.sdg.squander.spec.ForgeScene