org.clafer.ast

Class AstIntClafer

java.lang.Object

org.clafer.ast.AstClafer

org.clafer.ast.AstPrimClafer

org.clafer.ast.AstIntClafer

All Implemented Interfaces:

AstVar

public class AstIntClafer
extends AstPrimClafer

The primitive integer Clafer.

Author:

jimmy

Field Summary

Fields

Modifier and Type	Field and Description
static AstIntClafer	Singleton

Fields inherited from class org.clafer.ast.AstClafer

claferClafer

Method Summary

Methods inherited from class org.clafer.ast.AstPrimClafer

addChild, addConstraint, extending, refTo, refToUnique, withGroupCard

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

Field Detail

Singleton

public static final AstIntClafer Singleton