The PositionalSupport type provides the
com.tubros.constraints.api.problem.Equation EDSL with pseudo-arithmetic
style operators capable of stipulating where one
com.tubros.constraints.api.problem.Variable is in relation to another
in a potential solution.
So, for example, the following snippet:
new Equation[Foo] with PositionalSupport[Foo] {
def apply = 'a === 'b - 1;
}
would only be satisfied if aimmediately preceded b in a conformant
CSP solution.
The PositionalSupport type provides the com.tubros.constraints.api.problem.Equation EDSL with pseudo-arithmetic style operators capable of stipulating where one com.tubros.constraints.api.problem.Variable is in relation to another in a potential solution.
So, for example, the following snippet:
would only be satisfied if
aimmediately precededbin a conformant CSP solution.PositionalSupport can be thought of as an augmentation to com.tubros.constraints.api.problem.RelationalSupport by way of allowing distance relations to be expressed.