is_le#

FeatureSystem.is_le(feat_id_a: int, specification_a: int, feat_id_b: int, specification_b: int) bool#

Check if feature \(a\) specified by feat_id_a is less than or equal to feature \(b\) specified by feat_id_b, i.e. if \(a \le b\).

If a feature is less than or equal another feature, then the inclusion of the first features in some specification prohibits the inverse of the latter features to be included in that specification.

Parameters#

feat_id_aint

The id of the first feature.

specification_aint

Whether to take the feature (1) or its inverse (-1).

feat_id_bint

The id of the second feature.

specification_bint

Whether to take the feature (1) or its inverse (-1).

Returns#

bool

Whether the first feature is less than or equal to the second feature.