crillab-universe/csp/operator/ directory

Contents

Files

file UniverseArithmeticOperator.hpp
Enumerates all possible arithmetic operators.
file UniverseBooleanOperator.hpp
Enumerates all possible operators on Boolean variables.
file UniverseRelationalOperator.hpp
Enumerates all possible relational operators.
file UniverseSetBelongingOperator.hpp
Enumerates all possible set-belonging operators.