dk.brics.tajs.blendedanalysis.solver

Class BlendedAnalysisQuery

java.lang.Object

dk.brics.tajs.blendedanalysis.solver.BlendedAnalysisQuery

public class BlendedAnalysisQuery
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
BlendedAnalysisQuery(AbstractNode node, InstructionComponent ic, java.util.Set<Constraint> constraints, Value soundDefault)

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object o)
java.util.Set<Constraint>	getConstraints()
InstructionComponent	getInstructionComponent()
AbstractNode	getNode()
Value	getSoundDefault()
int	hashCode()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

BlendedAnalysisQuery

public BlendedAnalysisQuery(AbstractNode node,
                            InstructionComponent ic,
                            java.util.Set<Constraint> constraints,
                            Value soundDefault)

Method Detail

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

getConstraints

public java.util.Set<Constraint> getConstraints()

getInstructionComponent

public InstructionComponent getInstructionComponent()

getNode

public AbstractNode getNode()

getSoundDefault

public Value getSoundDefault()

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object