jq.qde
Class QualitativeConstraint

java.lang.Object
  jq.util.NamableObject
      jq.qde.QualitativeConstraint

All Implemented Interfaces:

Namable

Direct Known Subclasses:

AddConstraint, ConstantConstraint, DerivConstraint, MonotonicConstraint, MultConstraint

public abstract class QualitativeConstraint

extends NamableObject

Field Summary

static ConstraintCorrespondence[]

EMPTYCORR

Constructor Summary

QualitativeConstraint(java.lang.String name, QualitativeVariable[] args, ConstraintCorrespondence[] corr)

Method Summary

QualitativeConstraint	addCorrespondingValue(ConstraintCorrespondence newCorr)
abstract QualitativeConstraint	createCopy(QualitativeVariable[] args, ConstraintCorrespondence[] corr)
boolean	dependsOn(QualitativeVariable var)
ConstraintCorrespondence	getCorrespondingValue(int i)
int	getCorrespondingValueCount()
ConstraintCorrespondence	getMatchingCorrespondence(QDEState state)
QualitativeVariable	getVariable(int index)
int	getVariableCount()
boolean	hasMatchingCorrespondingValue(QDEState state)
void	printSpecification(java.io.PrintStream out, java.lang.String prefix)
boolean	shouldCreateNewCorrespondence(QDEState state, QSimListener l)
abstract ConstraintValidationResult	validateValues(QualitativeValue[] stateArray)

Methods inherited from class jq.util.NamableObject

getName

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

EMPTYCORR

public static final ConstraintCorrespondence[] EMPTYCORR

Constructor Detail

QualitativeConstraint

public QualitativeConstraint(java.lang.String name,
                             QualitativeVariable[] args,
                             ConstraintCorrespondence[] corr)

Method Detail

dependsOn

public final boolean dependsOn(QualitativeVariable var)

printSpecification

public final void printSpecification(java.io.PrintStream out,
                                     java.lang.String prefix)

getVariableCount

public final int getVariableCount()

getVariable

public final QualitativeVariable getVariable(int index)

getCorrespondingValueCount

public final int getCorrespondingValueCount()

getCorrespondingValue

public final ConstraintCorrespondence getCorrespondingValue(int i)

shouldCreateNewCorrespondence

public boolean shouldCreateNewCorrespondence(QDEState state,
                                             QSimListener l)

hasMatchingCorrespondingValue

public boolean hasMatchingCorrespondingValue(QDEState state)

getMatchingCorrespondence

public ConstraintCorrespondence getMatchingCorrespondence(QDEState state)

addCorrespondingValue

public QualitativeConstraint addCorrespondingValue(ConstraintCorrespondence newCorr)

validateValues

public abstract ConstraintValidationResult validateValues(QualitativeValue[] stateArray)

createCopy

public abstract QualitativeConstraint createCopy(QualitativeVariable[] args,
                                                 ConstraintCorrespondence[] corr)