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 IDecisionVariableresolved
-
Constructor Summary
Constructors Constructor Description ResolvedVariable(IDecisionVariable resolved)Creates a resolved variable.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description IDecisionVariablegetResolved()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
-
-
-
-
Field Detail
-
resolved
private IDecisionVariable resolved
-
-
Constructor Detail
-
ResolvedVariable
public ResolvedVariable(IDecisionVariable resolved)
Creates a resolved variable.- Parameters:
resolved- the resolved variable
-
-
Method Detail
-
getResolved
public IDecisionVariable getResolved()
Description copied from class:VariableReturns the resolved decision variable.- Overrides:
getResolvedin classVariable- Returns:
- the decision variable (may be null)
-
-