oneof

relationalai.semantics.std.constraints

oneof(*args: Concept | Ref) -> Fragment

Declare that exactly one of the given concepts must be true.

This combines anyof (at least one) and exclusive (at most one) constraints.

Parameters

• *args

  (Concept | Ref, default: ()) - Concepts or Refs, exactly one of which must be satisfied.

Returns

• Fragment - A Fragment representing the oneof constraint.