Uses of Class
org.clafer.ast.Card

Packages that use Card

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.

Uses of Card in org.clafer.ast

Fields in org.clafer.ast declared as Card

Modifier and Type	Field and Description
static Card	Asts.Any
static Card	Asts.Mandatory
static Card	Asts.Many
static Card	Asts.Optional

Methods in org.clafer.ast that return Card

Modifier and Type	Method and Description
Card	Card.add(Card addend) Add two cardinalities together.
Card	AstConcreteClafer.getCard() Returns this Clafer's cardinality.
Card	AstClafer.getGroupCard() Returns this Clafer's group cardinality.
Card	Card.mult(Card factor) Multiply two cardinalities together.

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

Modifier and Type	Method and Description
Card	Card.add(Card addend) Add two cardinalities together.
Card	Card.mult(Card factor) Multiply two cardinalities together.
AstConcreteClafer	AstConcreteClafer.withCard(Card card) Set this Clafer's cardinality.
AstConcreteClafer	AstModel.withCard(Card card)
AstConcreteClafer	AstConcreteClafer.withGroupCard(Card groupCard) Set this Clafer's group cardinality.
AstConcreteClafer	AstPrimClafer.withGroupCard(Card groupCard) Set this Clafer's group cardinality.
AstAbstractClafer	AstAbstractClafer.withGroupCard(Card groupCard) Set this Clafer's group cardinality.
AstModel	AstModel.withGroupCard(Card groupCard)
AstClafer	AstClafer.withGroupCard(Card groupCard) Set this Clafer's group cardinality.

Uses of Card in org.clafer.ast.analysis

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

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

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

Modifier and Type	Method and Description
Map<AstConcreteClafer,Card>	Analysis.getCardMap()
Map<AstClafer,Card>	Analysis.getGlobalCardMap()

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

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