Class List

Here are the classes, structs, unions and interfaces with brief descriptions:

edu.mit.csail.sdg.annotations.FuncField
edu.mit.csail.sdg.squander.absstate.AbstractState
edu.mit.csail.sdg.squander.absstate.FieldValue
edu.mit.csail.sdg.squander.absstate.ObjAbsState
edu.mit.csail.sdg.squander.absstate.ObjTuple
edu.mit.csail.sdg.squander.absstate.ObjTupleSet
edu.mit.csail.sdg.squander.annotations.Fresh
edu.mit.csail.sdg.squander.annotations.FreshObjects
edu.mit.csail.sdg.squander.annotations.Options
edu.mit.csail.sdg.squander.engine.ForgeConverter
edu.mit.csail.sdg.squander.engine.ForgeEval
edu.mit.csail.sdg.squander.engine.Heap
edu.mit.csail.sdg.squander.engine.Heap2Bounds
edu.mit.csail.sdg.squander.engine.ISquander
edu.mit.csail.sdg.squander.engine.ISquanderResult
edu.mit.csail.sdg.squander.engine.kk.SquanderKodkod2Impl
edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl
edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl.KodkodEval
edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl.Tr2KK
edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl.Tr2KK.StackElem
edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodPart2Impl
edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodPartImpl
edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodPartImpl.KodkodIntEval
edu.mit.csail.sdg.squander.engine.SquanderEval
edu.mit.csail.sdg.squander.engine.SquanderEval2
edu.mit.csail.sdg.squander.engine.SquanderImpl
edu.mit.csail.sdg.squander.engine.SquanderReporter
edu.mit.csail.sdg.squander.engine.SquanderResult
edu.mit.csail.sdg.squander.examples.bst.BalancedBST
edu.mit.csail.sdg.squander.examples.bst.BinarySearchTree
edu.mit.csail.sdg.squander.examples.bst.BinarySearchTreeTest
edu.mit.csail.sdg.squander.examples.bst.BST_noParent
edu.mit.csail.sdg.squander.examples.bst.BST_noParentTest
edu.mit.csail.sdg.squander.examples.bst.BST_noSpecFld
edu.mit.csail.sdg.squander.examples.bst.BST_noSpecFldTest
edu.mit.csail.sdg.squander.examples.chess.ChessBoard
edu.mit.csail.sdg.squander.examples.chess.ChessBoardMan
edu.mit.csail.sdg.squander.examples.equiv.Node
edu.mit.csail.sdg.squander.examples.func.Utils
edu.mit.csail.sdg.squander.examples.graph2.Graph
edu.mit.csail.sdg.squander.examples.graph2.GraphTest
edu.mit.csail.sdg.squander.examples.graph.Graph
edu.mit.csail.sdg.squander.examples.graph.Graph__2
edu.mit.csail.sdg.squander.examples.graph.GraphTest
edu.mit.csail.sdg.squander.examples.graph.HamiltonianMan
edu.mit.csail.sdg.squander.examples.javacol.Collections
edu.mit.csail.sdg.squander.examples.javacol.ListTest
edu.mit.csail.sdg.squander.examples.javacol.MapTest
edu.mit.csail.sdg.squander.examples.javacol.SetTest
edu.mit.csail.sdg.squander.examples.javacol.Str
edu.mit.csail.sdg.squander.examples.javacol.TypeParamsEx
edu.mit.csail.sdg.squander.examples.javacol.TypeParamsTest
edu.mit.csail.sdg.squander.examples.list.func2.Cons
edu.mit.csail.sdg.squander.examples.list.func2.IntList
edu.mit.csail.sdg.squander.examples.list.func2.ListTest
edu.mit.csail.sdg.squander.examples.list.func2.Nil
edu.mit.csail.sdg.squander.examples.list.func.Cons
edu.mit.csail.sdg.squander.examples.list.func.IntList
edu.mit.csail.sdg.squander.examples.list.LinkedList
edu.mit.csail.sdg.squander.examples.list.LinkedList_ind
edu.mit.csail.sdg.squander.examples.list.LinkedListTest
edu.mit.csail.sdg.squander.examples.mock.AddressBook
edu.mit.csail.sdg.squander.examples.mock.EmailMessage
edu.mit.csail.sdg.squander.examples.mock.MockAddressBook
edu.mit.csail.sdg.squander.examples.mock.MockAddressBookTest
edu.mit.csail.sdg.squander.examples.mock.SquanderAddressBook
edu.mit.csail.sdg.squander.examples.mock.TestAddressBook
edu.mit.csail.sdg.squander.examples.mock.TestSquanderAddressBook
edu.mit.csail.sdg.squander.examples.numbers.Arithmetic
edu.mit.csail.sdg.squander.examples.numbers.ArithmeticTest
edu.mit.csail.sdg.squander.examples.numbers.DeclarativeSqRoot
edu.mit.csail.sdg.squander.examples.numbers.ImperativeSqRoot
edu.mit.csail.sdg.squander.examples.numbers.ISqRoot
edu.mit.csail.sdg.squander.examples.numbers.MixedSqRoot
edu.mit.csail.sdg.squander.examples.numbers.SqRootTest
edu.mit.csail.sdg.squander.examples.partitioning.Domain
edu.mit.csail.sdg.squander.examples.partitioning.Graph
edu.mit.csail.sdg.squander.examples.partitioning.Literal
edu.mit.csail.sdg.squander.examples.partitioning.Partition
edu.mit.csail.sdg.squander.examples.rbt.RedBlackTree
edu.mit.csail.sdg.squander.examples.setpoly.BstIntSet
edu.mit.csail.sdg.squander.examples.setpoly.IntSet
edu.mit.csail.sdg.squander.examples.setpoly.SetIntSet
edu.mit.csail.sdg.squander.examples.sort.Sort
edu.mit.csail.sdg.squander.examples.sort.SortTest
edu.mit.csail.sdg.squander.examples.sudoku.Sudoku1
edu.mit.csail.sdg.squander.examples.sudoku.Sudoku1Test
edu.mit.csail.sdg.squander.examples.sudoku.Sudoku2
edu.mit.csail.sdg.squander.examples.sudoku.Sudoku3
edu.mit.csail.sdg.squander.examples.sudoku.Sudoku4
edu.mit.csail.sdg.squander.examples.sudoku.Sudoku4.Num
edu.mit.csail.sdg.squander.examples.sudoku.Sudoku5
edu.mit.csail.sdg.squander.forge_examples.BinarySearchTree
edu.mit.csail.sdg.squander.forge_examples.TopologicalSort
edu.mit.csail.sdg.squander.log.Log
edu.mit.csail.sdg.squander.options.ConfigLoader
edu.mit.csail.sdg.squander.options.GlobalOptions
edu.mit.csail.sdg.squander.parser.JFSLLexer
edu.mit.csail.sdg.squander.parser.JFSLLexer.DFA18
edu.mit.csail.sdg.squander.parser.JFSLLexer.DFA26
edu.mit.csail.sdg.squander.parser.JFSLParser
edu.mit.csail.sdg.squander.parser.JFSLParser.DFA38
edu.mit.csail.sdg.squander.parser.JFSLParser.DFA42
edu.mit.csail.sdg.squander.parser.JFSLParser.DFA69
edu.mit.csail.sdg.squander.parser.JFSLParser.DFA77
edu.mit.csail.sdg.squander.parser.JFSLParser.DFA78
edu.mit.csail.sdg.squander.parser.JFSLParser.DFA79
edu.mit.csail.sdg.squander.parser.JFSLParserException
edu.mit.csail.sdg.squander.regressions.Tests
edu.mit.csail.sdg.squander.serializer.AbstractHeap
edu.mit.csail.sdg.squander.serializer.AbstractHeapListener
edu.mit.csail.sdg.squander.serializer.ConsoleHeap
edu.mit.csail.sdg.squander.serializer.HeapListener
edu.mit.csail.sdg.squander.serializer.IHeap
edu.mit.csail.sdg.squander.serializer.Serializer
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.ObjSerFactory
edu.mit.csail.sdg.squander.serializer.special.SetSer
edu.mit.csail.sdg.squander.serializer.special.StringSer
edu.mit.csail.sdg.squander.spec.ArityMismatchException
edu.mit.csail.sdg.squander.spec.ClassSpec
edu.mit.csail.sdg.squander.spec.CompositeSpecProvider
edu.mit.csail.sdg.squander.spec.constant.ConstRel2Bound
edu.mit.csail.sdg.squander.spec.constant.ConstRels
edu.mit.csail.sdg.squander.spec.constant.ConstRelVisitor< E >
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.Frame
edu.mit.csail.sdg.squander.spec.FrameInference
edu.mit.csail.sdg.squander.spec.IncompatibleTypesException
edu.mit.csail.sdg.squander.spec.ISpecProvider
edu.mit.csail.sdg.squander.spec.JavaScene
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.spec.MethodSpec
edu.mit.csail.sdg.squander.spec.MethodSpec.CaseSource
edu.mit.csail.sdg.squander.spec.MyExprEvaluator
edu.mit.csail.sdg.squander.spec.NameSpace
edu.mit.csail.sdg.squander.spec.Null
edu.mit.csail.sdg.squander.spec.ReflectiveSpecProvider
edu.mit.csail.sdg.squander.spec.Source
edu.mit.csail.sdg.squander.spec.Spec
edu.mit.csail.sdg.squander.spec.Spec.SpecCase
edu.mit.csail.sdg.squander.spec.SpecFileSpecProvider
edu.mit.csail.sdg.squander.spec.SpecFileSpecProvider.MyVisitor
edu.mit.csail.sdg.squander.spec.SqFunc
edu.mit.csail.sdg.squander.spec.Tr
edu.mit.csail.sdg.squander.spec.TypeChecker
edu.mit.csail.sdg.squander.spec.TypeCheckException
edu.mit.csail.sdg.squander.spec.Visitor< N, M >
edu.mit.csail.sdg.squander.specfile.parser.SpecFileLexer
edu.mit.csail.sdg.squander.specfile.parser.SpecFileLexer.DFA6
edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser
edu.mit.csail.sdg.squander.specfile.parser.SpecFileParserException
edu.mit.csail.sdg.squander.specfile.parser.SpecFileVisitor< N >
edu.mit.csail.sdg.squander.Squander
edu.mit.csail.sdg.squander.util.test.TestUtils
edu.mit.csail.sdg.squander.utils.Counter< T >
edu.mit.csail.sdg.squander.utils.Predicate< T >
edu.mit.csail.sdg.squander.utils.ReflectionUtils
edu.mit.csail.sdg.squander.utils.TwoWayMap< K, V >
edu.mit.csail.sdg.squander.utils.Utils