dk.brics.tajs.blendedanalysis.solver

Class Constraint

java.lang.Object

dk.brics.tajs.blendedanalysis.solver.Constraint

public class Constraint
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
Constraint(InstructionComponent ic, Value value) A constraint specifies a value for the instructionComponent.

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object o)
InstructionComponent	getInstructionComponent()
Value	getValue()
int	hashCode()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

Constraint

public Constraint(InstructionComponent ic,
                  Value value)

A constraint specifies a value for the instructionComponent.

Method Detail

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

getInstructionComponent

public InstructionComponent getInstructionComponent()

getValue

public Value getValue()

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object