User Tools
This is an old revision of the document!
====== Finite Domain Constraints ====== ''**public class FiniteDomainConstraints**''\\ ''**implements Serializable**'' This class describes a finite domain constraint defined over a single attribute in a relation. ===== Class Attributes ===== <code java> private long id; java.util.ArrayList<java.lang.String> values; int argPosition; Relation relation; </code> ===== Class Constructor ===== ==== FiniteDomainConstraint ==== <code java> public FiniteDomainConstraint () </code> Default constructor with default values for attributes. ---- ==== FiniteDomainConstraint ==== <code java> public FiniteDomainConstraint (int argPosition, java.util.ArrayList<java.lang.String> values, Relation relation) </code> Constructor that instantiates each attribute with the values passed. //Called by:// * it.unibz.inf.magik.web.SessionControl * it.unibz.inf.magik.db.DatabaseConnector * it.unibz.inf.magik.test.TestHardCaseFDCandFK * it.unibz.inf.magik.test.TestTCQCReasonerBlackWhiteExample * it.unibz.inf.magik.test.TestValQueryProblem * it.unibz.inf.magik.test.TestTCQCReasonerUnderFDC * it.unibz.inf.magik.test.TestFK * it.unibz.inf.magik.test.TestTCQCReasonerTCSuggestions * it.unibz.inf.magik.test.TestTCQCReasonerPlainSchoolEx * it.unibz.inf.magik.test.TestTCQCReasonerFKandFD * it.unibz.inf.magik.test.TestQueryClass **Parameters** * argPostion - position of the constrained argument in the containing relation * values - list of the values allowed for the argument on the argPostion * relation - relation over which finite domain constraint is defined ===== Class Methods ===== ==== printHTML ==== <code java> public java.lang.String printHTML() </code> This method is used for create a compact view of a finite domain constraint key (''table[field] ∈ {'val1', 'val2'}'' ) **Returns:** * finite domain constraint adapted to the compact view ---- ==== getters and setters methods ==== <code java> public int getArgPosition() public void setArgPosition(int argPosition) public java.util.ArrayList<java.lang.String> getValues() public void setValues(java.util.ArrayList<java.lang.String> values) public long getId() public void setId(long id) public Relation getRelation() public void setRelation(Relation relation) </code>
