Class StartPathElement
java.lang.Object
net.ssehub.easy.varModel.confModel.paths.StartPathElement
- All Implemented Interfaces:
IResolutionPathElement
The start of a resolution path at a top-level variable.
- Author:
- Holger Eichelberger
-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
-
Field Details
-
decl
-
-
Constructor Details
-
StartPathElement
Creates a path start.- Parameters:
decl- the top-level declaration
-
-
Method Details
-
resolve
Description copied from interface:IResolutionPathElementResolves this path forconfig.- Specified by:
resolvein interfaceIResolutionPathElement- Parameters:
config- the configuration to resolve on- Returns:
- the resolved decision variable (may be null if resolution fails)
-