chord.bddbddb
Class RelSign

java.lang.Object
  chord.util.tuple.object.Pair<java.lang.String[],java.lang.String>
      chord.bddbddb.RelSign

All Implemented Interfaces:

java.io.Serializable

public class RelSign
extends Pair<java.lang.String[],java.lang.String>

Signature of a BDD-based relation. It specifies: (1) an ordered list of domain names of the relation (e.g., [M1, H0]) and (2) the BDD ordering of the domain names (e.g., M1_H0 or M1xH0)

Author:

Mayur Naik (mhn@cs.stanford.edu)

See Also:

Serialized Form

Field Summary

Fields inherited from class chord.util.tuple.object.Pair

val0, val1

Constructor Summary

RelSign(java.lang.String[] domNames, java.lang.String domOrder)
Constructor.

Method Summary

java.lang.String[]	getDomKinds() Provides the list of domain kinds (major components of domain names) specified by this signature.
java.lang.String[]	getDomNames() Provides an ordered list of domain names specified by this signature.
java.lang.String	getDomOrder() Provides the BDD ordering of domain names specified by this signature.
java.lang.String	toString()

Methods inherited from class chord.util.tuple.object.Pair

equals, hashCode

Methods inherited from class java.lang.Object

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

Constructor Detail

RelSign

public RelSign(java.lang.String[] domNames,
               java.lang.String domOrder)

Constructor.

Parameters:

domNames - An ordered list of domain names of the relation (e.g., [M1, H0]). It must be non-null and not contain any duplicate domain names. Each domain name must consist of a major component (a sequence of one or more alphabets) followed by a minor component (a sequence of one or more digits).

domOrder - The BDD ordering of the domain names (e.g., M1_H0 or M1xH0). It may be null.

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class Pair<java.lang.String[],java.lang.String>

getDomNames

public java.lang.String[] getDomNames()

Provides an ordered list of domain names specified by this signature.

Returns:

An ordered list of domain names specified by this signature.

getDomOrder

public java.lang.String getDomOrder()

Provides the BDD ordering of domain names specified by this signature.

Returns:

The BDD ordering of domain names specified by this signature.

getDomKinds

public java.lang.String[] getDomKinds()

Provides the list of domain kinds (major components of domain names) specified by this signature. For instance, if the list of domain names is [C0,M0,I0,C1,M1] then the list of domain kinds is [C,M,I].

Returns:

The list of domain kinds specified by this signature.