add_corner

FeatureSystem.add_corner(feature_id_a: int, specification_a: int, feature_id_b: int, specification_b: int) → tuple[int, int]

Calculate the infimum of two features from the feature system and add this infimum as a new feature to the feature system.

Parameters

feature_id_aint

The id of the first feature.

specification_aint

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

feature_id_bint

The id of the second feature.

specification_bint

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

Returns

tuple (int, int)

Feature id of the infimum and specification of the infimum.