Finite Domain Constraints

public class FiniteDomainConstraints
implements Serializable

This class describes a finite domain constraint defined over a single attribute in a relation.

private long id;
java.util.ArrayList<java.lang.String> values;
int argPosition;
Relation relation;

public FiniteDomainConstraint ()

Default constructor with default values for attributes.

public FiniteDomainConstraint (int argPosition, 
                               java.util.ArrayList<java.lang.String> values,
			       Relation relation) 

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

public java.lang.String printHTML()

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

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)

Back to Top | Back to Home Page