Uses of Class
edu.mit.csail.sdg.alloy4compiler.ast.VisitReturn

Packages that use VisitReturn

edu.mit.csail.sdg.alloy4compiler.ast	This package contains the definition of AST nodes.
edu.mit.csail.sdg.alloy4compiler.sim	This package contains a pure-Java evaluator/simulator for Alloy4 instances.
edu.mit.csail.sdg.alloy4compiler.translator	This package contains the translator from Alloy4 to CNF (using kodkod).

Uses of VisitReturn in edu.mit.csail.sdg.alloy4compiler.ast

Subclasses of VisitReturn in edu.mit.csail.sdg.alloy4compiler.ast

class

VisitQuery<T> This abstract class implements a Query visitor that walks over an Expr and its subnodes.

Uses of VisitReturn in edu.mit.csail.sdg.alloy4compiler.sim

Subclasses of VisitReturn in edu.mit.csail.sdg.alloy4compiler.sim

class

SimInstance Mutable; represents an instance.

Uses of VisitReturn in edu.mit.csail.sdg.alloy4compiler.translator

Subclasses of VisitReturn in edu.mit.csail.sdg.alloy4compiler.translator

class

TranslateAlloyToKodkod Translate an Alloy AST into Kodkod AST then attempt to solve it using Kodkod.