org.clafer.ast

Class AstPrimClafer

java.lang.Object

org.clafer.ast.AstClafer

org.clafer.ast.AstPrimClafer

All Implemented Interfaces:

AstVar

Direct Known Subclasses:

AstBoolClafer, AstIntClafer

public abstract class AstPrimClafer
extends AstClafer

A primitive Clafer. Primitive Clafers require built in support from the solver.

Author:

jimmy

Field Summary

Fields inherited from class org.clafer.ast.AstClafer

claferClafer

Method Summary

Methods

Modifier and Type	Method and Description
AstConcreteClafer	addChild(String name) Add a new concrete child under this Clafer.
AstConstraint	addConstraint(AstBoolExpr constraint) Add a new constraint under this Clafer.
AstClafer	extending(AstAbstractClafer superClafer) Set the supertype of this Clafer.
AstClafer	refTo(AstClafer targetType) Set this Clafer's reference to target type.
AstClafer	refToUnique(AstClafer targetType) Set this Clafer's reference to target type along with a uniqueness constraint.
AstConcreteClafer	withGroupCard(Card groupCard) Set this Clafer's group cardinality.

Methods inherited from class org.clafer.ast.AstClafer

equals, getChildren, getConstraints, getGroupCard, getName, getRef, getSuperClafer, hasChildren, hasConstraints, hashCode, hasRef, hasSuperClafer, toString, withGroupCard, withGroupCard

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Method Detail

extending

public AstClafer extending(AstAbstractClafer superClafer)

Set the supertype of this Clafer.

Overrides:

extending in class AstClafer

Parameters:

superClafer - the supertype

Returns:

this Clafer

refTo

public AstClafer refTo(AstClafer targetType)

Set this Clafer's reference to target type.

Overrides:

refTo in class AstClafer

Parameters:

targetType - the type to refer to

Returns:

this Clafer

refToUnique

public AstClafer refToUnique(AstClafer targetType)

Set this Clafer's reference to target type along with a uniqueness constraint.

Overrides:

refToUnique in class AstClafer

Parameters:

targetType - the type to refer to

Returns:

this Clafer

withGroupCard

public AstConcreteClafer withGroupCard(Card groupCard)

Set this Clafer's group cardinality.

Overrides:

withGroupCard in class AstClafer

Parameters:

groupCard - the group cardinality

Returns:

this Clafer

addChild

public AstConcreteClafer addChild(String name)

Add a new concrete child under this Clafer.

Overrides:

addChild in class AstClafer

Parameters:

name - the name of the child

Returns:

the new child

addConstraint

public AstConstraint addConstraint(AstBoolExpr constraint)

Add a new constraint under this Clafer.

Overrides:

addConstraint in class AstClafer

Parameters:

constraint - a tautology

Returns:

the constraint