Module operator

Source
Expand description

A base type for And and Or logic operators, etc.

Methods for accessing and displaying operands (which are Goals).

Enumsยง

Operator
Defines logical And, Or, etc. An operator holds a vector of goals.