edu.hkust.afchecker.inferenceEngine
Class DeterministicConstraint

java.lang.Object
  edu.hkust.afchecker.inferenceEngine.Constraint
      edu.hkust.afchecker.inferenceEngine.DeterministicConstraint

public class DeterministicConstraint
extends Constraint

Author: Andrew
File history: Created on July 22, 2011. Last update on Sept. 16, 2012
Description: A deterministic constraint describes the internal correlation between two atoms. A deterministic constraint can be derived by static inference.

Constructor Summary

DeterministicConstraint(Atom la, Atom ra)
constructor

Method Summary

void	disableCombination(boolean a, boolean b) check whether latom = a && ratom = b is impossible
void	enableCombination(boolean a, boolean b) check whether latom = a && ratom = b is possible
boolean	isCombinationPossible(boolean a, boolean b) check whether latom = a && ratom = b is possible

Methods inherited from class edu.hkust.afchecker.inferenceEngine.Constraint

getLeftAtom, getRightAtom, setLeftAtom, setRightAtom

Methods inherited from class java.lang.Object

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

Constructor Detail

DeterministicConstraint

public DeterministicConstraint(Atom la,
                               Atom ra)

constructor

Parameters:

la - the left atom

ra - the right atom

Method Detail

enableCombination

public void enableCombination(boolean a,
                              boolean b)

check whether latom = a && ratom = b is possible

Parameters:

a -

b -

disableCombination

public void disableCombination(boolean a,
                               boolean b)

check whether latom = a && ratom = b is impossible

Parameters:

a -

b -

isCombinationPossible

public boolean isCombinationPossible(boolean a,
                                     boolean b)

check whether latom = a && ratom = b is possible

Parameters:

a -

b -

Returns:

true if the combination is possible, false otherwise