org.clafer.ast

Class Card

java.lang.Object

org.clafer.ast.Card

All Implemented Interfaces:

Serializable

public class Card
extends Object
implements Serializable

Low and high cardinality. Immutable.

Author:

jimmy

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
Card() Construct an unbounded cardinality.
Card(int low) Construct a cardinality bounded from below, unbounded above.
Card(int low, int high) Construct a cardinality bounded from below and above.

Method Summary

Methods

Modifier and Type	Method and Description
Card	add(Card addend) Add two cardinalities together.
boolean	equals(Object obj)
int	getHigh() Returns the high cardinality or Integer.MAX_VALUE if unbounded form above.
int	getLow() Returns the low cardinality or 0 if unbounded from below.
int	hashCode()
boolean	hasHigh() Detects if this cardinality is bounded above.
boolean	hasLow() Detects if this cardinality is bounded below.
boolean	isBounded() Detects if this cardinality is either bounded below and/or above.
boolean	isExact() Detects if this cardinality is so restrictive that only one possible value is allowed.
Card	mult(Card factor) Multiply two cardinalities together.
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

Card

public Card()

Construct an unbounded cardinality.

Card

public Card(int low)

Construct a cardinality bounded from below, unbounded above.

Parameters:

low - the low cardinality

Card

public Card(int low,
    int high)

Construct a cardinality bounded from below and above.

Parameters:

low - the low cardinality

high - the high cardinality

Method Detail

isExact

public boolean isExact()

Detects if this cardinality is so restrictive that only one possible value is allowed.

Returns:

true if and only if low and high cardinality is the same, false otherwise

isBounded

public boolean isBounded()

Detects if this cardinality is either bounded below and/or above.

Returns:

true if and only if this cardinality is not unbounded, false otherwise

hasLow

public boolean hasLow()

Detects if this cardinality is bounded below.

Returns:

true if and only if this cardinality is bounded below, false otherwise

getLow

public int getLow()

Returns the low cardinality or 0 if unbounded from below.

Returns:

the low cardinality

hasHigh

public boolean hasHigh()

Detects if this cardinality is bounded above.

Returns:

true if and only if this cardinality is bounded above, false otherwise

getHigh

public int getHigh()

Returns the high cardinality or Integer.MAX_VALUE if unbounded form above.

Returns:

the high cardinality

add

public Card add(Card addend)

Add two cardinalities together.

Parameters:

addend - the other cardinality

Returns:

the sum of this and the other cardinality

mult

public Card mult(Card factor)

Multiply two cardinalities together.

Parameters:

factor - the other cardinality

Returns:

the product of this and the other cardinality

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object