- name()
: edu.mit.csail.sdg.squander.spec.JField
, edu.mit.csail.sdg.squander.spec.JMethod
, edu.mit.csail.sdg.squander.spec.JType
- 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.utils.ReflectionUtils
, edu.mit.csail.sdg.squander.serializer.special.ArraySer
, edu.mit.csail.sdg.squander.utils.ReflectionUtils
, 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
- 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
, edu.mit.csail.sdg.squander.examples.graph.Graph__2
, edu.mit.csail.sdg.squander.examples.graph2.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.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.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
- nodes()
: edu.mit.csail.sdg.squander.examples.graph.Graph
, edu.mit.csail.sdg.squander.examples.graph.Graph__2
, 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.graph2.Graph
- nonAbstractSpecFields()
: edu.mit.csail.sdg.squander.spec.ForgeScene
- nonnegs()
: edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl
- nqueens()
: edu.mit.csail.sdg.squander.examples.chess.ChessBoard
, edu.mit.csail.sdg.squander.examples.chess.ChessBoardMan
- 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
- nullLit()
: edu.mit.csail.sdg.squander.spec.ForgeScene
- nullType()
: edu.mit.csail.sdg.squander.spec.ForgeEnv
, edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv
, edu.mit.csail.sdg.squander.spec.ForgeScene
- num()
: edu.mit.csail.sdg.squander.annotations.FreshObjects
- Num()
: edu.mit.csail.sdg.squander.examples.sudoku.Sudoku4.Num
- numEdges()
: 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
- 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
- numTypes()
: edu.mit.csail.sdg.squander.spec.ForgeScene
Generated by
1.6.2-20100208