Uses of Class
org.clafer.ast.AstModel

Packages that use AstModel

Package	Description
org.clafer.ast	This package provides the language for building Clafer AST.
org.clafer.ast.analysis	This package provides various analysis and optimizations to perform on the AST.
org.clafer.ast.compiler	This package provides a compiler to translate Clafer AST to IR.
org.clafer.compiler	This package provides a compiler from AST to Choco including algorithms for solving optimal instances and max unsat.
org.clafer.javascript	This package provides classes for building Clafer models and invoking the solver via Javascript.

Uses of AstModel in org.clafer.ast

Methods in org.clafer.ast that return AstModel

Modifier and Type	Method and Description
AstModel	AstModel.extending(AstAbstractClafer superClafer)
static AstModel	Asts.newModel()
AstModel	AstModel.refTo(AstClafer targetType)
AstModel	AstModel.refToUnique(AstClafer targetType)
AstModel	AstModel.withGroupCard(Card groupCard)

Methods in org.clafer.ast with parameters of type AstModel

Modifier and Type	Method and Description
static List<AstAbstractClafer>	AstUtil.getAbstractClafersInSubOrder(AstModel model) Find the abstract Clafers such that the subclafers appear before the super clafers.
static List<AstClafer>	AstUtil.getClafers(AstModel model) Find all the nested Clafers in no specific order.
static List<Set<AstClafer>>	AstUtil.getClafersInParentAndSubOrder(AstModel model) Find the Clafers such that the parents appear before the children, and the subclafers appear before the superclafers.
static List<AstConcreteClafer>	AstUtil.getConcreteClafers(AstModel model) Find all the nested concrete Clafers in no specific order.
static List<AstConcreteClafer>	AstUtil.getConcreteClafersInParentOrder(AstModel model) Find the concrete Clafers such that the parents appear before the children.
static List<AstConstraint>	AstUtil.getNestedConstraints(AstModel model) Find all the constraints in the model.

Uses of AstModel in org.clafer.ast.analysis

Methods in org.clafer.ast.analysis that return AstModel

Modifier and Type	Method and Description
AstModel	Analysis.getModel() Returns the original model.

Methods in org.clafer.ast.analysis with parameters of type AstModel

Modifier and Type	Method and Description
static Analysis	Analysis.analyze(AstModel model, Scopable scope, Analyzer... analyzers)
static Analysis	Analysis.analyze(AstModel model, Scopable scope, List<Objective> objectives, Analyzer... analyzers)

Uses of AstModel in org.clafer.ast.compiler

Methods in org.clafer.ast.compiler that return AstModel

Modifier and Type	Method and Description
AstModel	AstSolutionMap.getModel()

Methods in org.clafer.ast.compiler with parameters of type AstModel

Modifier and Type	Method and Description
static AstSolutionMap	AstCompiler.compile(AstModel in, Scope scope, IrModule out, Analyzer[] analyzers, boolean fullSymmetryBreaking)
static AstSolutionMap	AstCompiler.compile(AstModel in, Scope scope, IrModule out, boolean fullSymmetryBreaking)
static AstSolutionMap	AstCompiler.compile(AstModel in, Scope scope, Objective objective, IrModule out, Analyzer[] analyzers, boolean fullSymmetryBreaking)
static AstSolutionMap	AstCompiler.compile(AstModel in, Scope scope, Objective objective, IrModule out, boolean fullSymmetryBreaking)

Uses of AstModel in org.clafer.compiler

Methods in org.clafer.compiler with parameters of type AstModel

Modifier and Type	Method and Description
static ClaferSolver	ClaferCompiler.compile(AstModel in, Scopable scope)
static ClaferSolver	ClaferCompiler.compile(AstModel in, Scopable scope, ClaferOptions options)
static ClaferOptimizer	ClaferCompiler.compile(AstModel in, Scopable scope, Objective objective)
static ClaferOptimizer	ClaferCompiler.compile(AstModel in, Scopable scope, Objective objective, ClaferOptions options)
static ClaferSolver	ClaferCompiler.compilePartial(AstModel in, Scope scope, AstConcreteClafer... concretize)
static ClaferSolver	ClaferCompiler.compilePartial(AstModel in, ScopeBuilder scope, AstConcreteClafer... concretize)
static ClaferUnsat	ClaferCompiler.compileUnsat(AstModel in, Scopable scope)
static ClaferUnsat	ClaferCompiler.compileUnsat(AstModel in, Scopable scope, ClaferOptions options)

Uses of AstModel in org.clafer.javascript

Methods in org.clafer.javascript that return AstModel

Modifier and Type	Method and Description
AstModel	JavascriptContext.getModel()

Methods in org.clafer.javascript that return types with arguments of type AstModel

Modifier and Type	Method and Description
static Triple<AstModel,Scope,Objective[]>	Javascript.readModel(File in)
static Triple<AstModel,Scope,Objective[]>	Javascript.readModel(File in, org.mozilla.javascript.Scriptable engine)
static Triple<AstModel,Scope,Objective[]>	Javascript.readModel(Reader in)
static Triple<AstModel,Scope,Objective[]>	Javascript.readModel(String in)
static Triple<AstModel,Scope,Objective[]>	Javascript.readModel(String name, File in, org.mozilla.javascript.Scriptable engine)
static Triple<AstModel,Scope,Objective[]>	Javascript.readModel(String name, Reader in, org.mozilla.javascript.Scriptable engine)
static Triple<AstModel,Scope,Objective[]>	Javascript.readModel(String name, String in, org.mozilla.javascript.Scriptable engine)