C | Logical.OrdConstraints |
O | Logical.OrdConstraints |
OrdConstraints | Logical.OrdConstraints |
OrdCs | Logical.OrdConstraints |
ordCs2HPred | Logical.OrdConstraints |
ordCs2HPred1 | Logical.OrdConstraints |
ordCs2HPredG | Logical.OrdConstraints |
ordCs2Predicate | Logical.OrdConstraints |
ordCs2Predicate1 | Logical.OrdConstraints |
ordCs2PredicateG | Logical.OrdConstraints |
validOrdCs | Logical.OrdConstraints |