Package net.ssehub.easy.varModel.cst

Class ResolvedVariable

java.lang.Object

net.ssehub.easy.varModel.cst.ConstraintSyntaxTree

net.ssehub.easy.varModel.cst.Leaf

net.ssehub.easy.varModel.cst.Variable

net.ssehub.easy.varModel.cst.ResolvedVariable

All Implemented Interfaces:

IAttributeAccess

public class ResolvedVariable
extends Variable

Carries a resolved variable. Typically used only for temporary resolution, e.g., during reasoning.

Author:

Holger Eichelberger

Field Summary

Fields

Modifier and Type	Field	Description
private IDecisionVariable	resolved

Constructor Summary

Constructors

Constructor	Description
ResolvedVariable(IDecisionVariable resolved)	Creates a resolved variable.

Method Summary

Modifier and Type	Method	Description
IDecisionVariable	getResolved()	Returns the resolved decision variable.

Methods inherited from class net.ssehub.easy.varModel.cst.Variable

accept, equals, getAttribute, getAttributesCount, getQualifier, getVariable, hashCode, inferDatatype, isSemanticallyEqual, toString

Methods inherited from class net.ssehub.easy.varModel.cst.ConstraintSyntaxTree

getAttribute, getContainedType, getName, getParent

Methods inherited from class java.lang.Object

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

Field Details

resolved

private IDecisionVariable resolved

Constructor Details

ResolvedVariable

public ResolvedVariable(IDecisionVariable resolved)

Creates a resolved variable.

Parameters:

resolved - the resolved variable

Method Details

getResolved

public IDecisionVariable getResolved()

Description copied from class: Variable

Returns the resolved decision variable.

Overrides:

getResolved in class Variable

Returns:

the decision variable (may be null)