org.clafer.ast.analysis

Enum Format

java.lang.Object

java.lang.Enum<Format>

org.clafer.ast.analysis.Format

All Implemented Interfaces:

Serializable, Comparable<Format>

public enum Format
extends Enum<Format>

There is two ways to represent a set.

Consider the model:

 parent *
    child 3
 

Suppose parent = {0,2,3}.

If child is in LowGroup, then it must choose the lowest 9 elements in its set. So child = {0,1,2,3,4,5,6,7,8}. This is good for many optimizations like skipCard and works for any case but it makes constant operations navigating down the tree more difficult because we don't know where the children lie during compile time. Abstract Clafers cannot have LowGroup.

If child is in ParentGroup, then each childSet is grouped together but there may be gaps between the childSets. A Clafer has ParentGroup ONLY IF it has exact cardinality, or it is Abstract, otherwise it isn't worthwhile. One reason why is that ParentGroup does not work with our symmetry breaking rules, but exact cardinalities do not need to be broken. Following the example, child = {0,1,2,6,7,8,9,10,11}.

Enum Constant Summary

Enum Constants

Enum Constant and Description
LowGroup
ParentGroup

Method Summary

Methods

Modifier and Type	Method and Description
static Format	valueOf(String name) Returns the enum constant of this type with the specified name.
static Format[]	values() Returns an array containing the constants of this enum type, in the order they are declared.

Methods inherited from class java.lang.Enum

clone, compareTo, equals, finalize, getDeclaringClass, hashCode, name, ordinal, toString, valueOf

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Enum Constant Detail

LowGroup

public static final Format LowGroup

ParentGroup

public static final Format ParentGroup

Method Detail

values

public static Format[] values()

Returns an array containing the constants of this enum type, in the order they are declared. This method may be used to iterate over the constants as follows:

for (Format c : Format.values())
    System.out.println(c);

Returns:

an array containing the constants of this enum type, in the order they are declared

valueOf

public static Format valueOf(String name)

Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)

Parameters:

name - the name of the enum constant to be returned.

Returns:

the enum constant with the specified name

Throws:

IllegalArgumentException - if this enum type has no constant with the specified name

NullPointerException - if the argument is null