Uses of Class
org.clafer.ast.AstConcreteClafer

Packages that use AstConcreteClafer

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.compiler	This package provides a compiler from AST to Choco including algorithms for solving optimal instances and max unsat.
org.clafer.instance	This package provides structure for working with instances.

Uses of AstConcreteClafer in org.clafer.ast

Subclasses of AstConcreteClafer in org.clafer.ast

Modifier and Type	Class and Description
class	AstModel The Clafer model.

Methods in org.clafer.ast that return AstConcreteClafer

Modifier and Type	Method and Description
AstConcreteClafer	AstPrimClafer.addChild(String name) Add a new concrete child under this Clafer.
AstConcreteClafer	AstClafer.addChild(String name) Add a new concrete child under this Clafer.
AstConcreteClafer	AstConcreteClafer.extending(AstAbstractClafer superClafer) Set the supertype of this Clafer.
AstConcreteClafer	AstJoin.getRight()
AstConcreteClafer	AstConcreteClafer.refTo(AstClafer targetType) Set this Clafer's reference to target type.
AstConcreteClafer	AstConcreteClafer.refToUnique(AstClafer targetType) Set this Clafer's reference to target type along with a uniqueness constraint.
AstConcreteClafer	AstConcreteClafer.withCard(Card card) Set this Clafer's cardinality.
AstConcreteClafer	AstModel.withCard(Card card)
AstConcreteClafer	AstConcreteClafer.withCard(int low) Set this Clafer's low cardinality and set the high cardinality to unbounded.
AstConcreteClafer	AstConcreteClafer.withCard(int low, int high) Set this Clafer's cardinality.
AstConcreteClafer	AstConcreteClafer.withGroupCard(Card groupCard) Set this Clafer's group cardinality.
AstConcreteClafer	AstPrimClafer.withGroupCard(Card groupCard) Set this Clafer's group cardinality.
AstConcreteClafer	AstConcreteClafer.withGroupCard(int low) Set this Clafer's low group cardinality and set the high group cardinality to unbounded.
AstConcreteClafer	AstConcreteClafer.withGroupCard(int low, int high) Set this Clafer's group cardinality.

Methods in org.clafer.ast that return types with arguments of type AstConcreteClafer

Modifier and Type	Method and Description
List<AstConcreteClafer>	AstClafer.getChildren() Returns this Clafer's concrete children
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<AstConcreteClafer>	AstUtil.getConcreteSubs(AstClafer clafer) Find all the concrete subtypes of the supplied Clafer, including itself if it is concrete.

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

Modifier and Type	Method and Description
static boolean	AstUtil.isRoot(AstConcreteClafer clafer) Detects if the Clafer is the implicit root of the model.
static AstSetExpr	Asts.join(AstSetExpr left, AstConcreteClafer right)

Uses of AstConcreteClafer in org.clafer.ast.analysis

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

Modifier and Type	Method and Description
AstConcreteClafer[]	Analysis.getBreakableChildren(AstClafer clafer)

Methods in org.clafer.ast.analysis that return types with arguments of type AstConcreteClafer

Modifier and Type	Method and Description
Map<AstConcreteClafer,Card>	Analysis.getCardMap()
List<AstConcreteClafer>	Analysis.getConcreteClafers()
Pair<AstConcreteClafer,Integer>	Analysis.getConcreteId(AstClafer clafer, int id)

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

Modifier and Type	Method and Description
Card	Analysis.getCard(AstConcreteClafer clafer)

Method parameters in org.clafer.ast.analysis with type arguments of type AstConcreteClafer

Modifier and Type	Method and Description
Analysis	Analysis.setCardMap(Map<AstConcreteClafer,Card> cardMap)

Uses of AstConcreteClafer in org.clafer.compiler

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

Modifier and Type	Method and Description
static ClaferSolver	ClaferCompiler.compilePartial(AstModel in, Scope scope, AstConcreteClafer... concretize)
static ClaferSolver	ClaferCompiler.compilePartial(AstModel in, ScopeBuilder scope, AstConcreteClafer... concretize)

Uses of AstConcreteClafer in org.clafer.instance

Methods in org.clafer.instance with parameters of type AstConcreteClafer

Modifier and Type	Method and Description
InstanceClafer[]	InstanceClafer.getChildren(AstConcreteClafer type)
InstanceClafer[]	InstanceModel.getTopClafers(AstConcreteClafer type)