public class AssignmentContextHolderArray<V extends Variable<V,T>,T extends Value<V,T>> extends Object implements AssignmentContextHolder<V,T>
AssignmentContextReference.getIndex()are used to index the array.
|Constructor and Description|
|Modifier and Type||Method and Description|
Clear an assignment context that is associated with the given a reference.
Return assignment context for the given assignment and reference.
public <U extends AssignmentContext> U getAssignmentContext(Assignment<V,T> assignment, AssignmentContextReference<V,T,U> reference)
AssignmentContextHolder<V extends Variable<V,T>,T extends Value<V,T>>
U- assignment context type
assignment- current assignment (there is only one assignment associated with one holder, but the assignment is passed so that
HasAssignmentContext.createAssignmentContext(Assignment)can be called if needed
reference- a reference created by calling
public <C extends AssignmentContext> void clearContext(AssignmentContextReference<V,T,C> reference)