Class RelationToConstant

All Implemented Interfaces:
GenerateUniqueParameterization

public class RelationToConstant
extends RelationToThreshold
Defines a constant threshold, and a relation to it.

This is useful to distinguish between different ways to threshold a range of numbers e.g. >= 7 or < 5.

The threshold will always form the second-operand in the relation.

Author:
Owen Feehan