T
- type of the variable for which choice point is being created.public interface SelectChoicePoint<T extends Var>
Modifier and Type | Method and Description |
---|---|
PrimitiveConstraint |
getChoiceConstraint(int index)
It returns the constraint which is the base of the choice point.
|
int |
getChoiceValue()
It returns a value which is the base of the next choice point.
|
T |
getChoiceVariable(int index)
It returns the variable which is the base on the next choice point.
|
int |
getIndex()
It returns the current index.
|
Map<T,Integer> |
getVariablesMapping()
It specifies the position of variables as given when variables of this
select object were supplied.
|
T getChoiceVariable(int index)
index
- the position of the last variable in selection choice point heuristic.int getChoiceValue()
PrimitiveConstraint getChoiceConstraint(int index)
index
- the position of the last variable returned by selection choice point heuristic.Map<T,Integer> getVariablesMapping()
int getIndex()
Copyright © 2022. All rights reserved.