Condition.h File Reference
#include <bitset>#include <cassert>#include <cstdio>#include <iostream>
Include dependency graph for Condition.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Data Structures | |
| class | carl::Condition |
Namespaces | |
| carl | |
| carl is the main namespace for the library. | |
Functions | |
| bool | carl::operator<= (const Condition &lhs, const Condition &rhs) |
| Check whether the bits of one condition are always set if the corresponding bit of another condition is set. More... | |
Variables | |
| static constexpr std::size_t | carl::CONDITION_SIZE = 64 |
| static constexpr Condition | carl::PROP_TRUE = Condition() |
| static constexpr Condition | carl::PROP_IS_IN_NNF = Condition( 0 ) |
| static constexpr Condition | carl::PROP_IS_IN_CNF = Condition( 1 ) |
| static constexpr Condition | carl::PROP_IS_PURE_CONJUNCTION = Condition( 2 ) |
| static constexpr Condition | carl::PROP_IS_A_CLAUSE = Condition( 3 ) |
| static constexpr Condition | carl::PROP_IS_A_LITERAL = Condition( 4 ) |
| static constexpr Condition | carl::PROP_IS_AN_ATOM = Condition( 5 ) |
| static constexpr Condition | carl::PROP_IS_LITERAL_CONJUNCTION = Condition( 6 ) |
| static constexpr Condition | carl::PROP_IS_IN_PNF = Condition( 7 ) |
| static const Condition | carl::STRONG_CONDITIONS |
| static constexpr Condition | carl::PROP_CONTAINS_EQUATION = Condition( 16 ) |
| static constexpr Condition | carl::PROP_CONTAINS_INEQUALITY = Condition( 17 ) |
| static constexpr Condition | carl::PROP_CONTAINS_STRICT_INEQUALITY = Condition( 18 ) |
| static constexpr Condition | carl::PROP_CONTAINS_LINEAR_POLYNOMIAL = Condition( 19 ) |
| static constexpr Condition | carl::PROP_CONTAINS_NONLINEAR_POLYNOMIAL = Condition( 20 ) |
| static constexpr Condition | carl::PROP_CONTAINS_MULTIVARIATE_POLYNOMIAL = Condition( 21 ) |
| static constexpr Condition | carl::PROP_CONTAINS_BOOLEAN = Condition( 22 ) |
| static constexpr Condition | carl::PROP_CONTAINS_INTEGER_VALUED_VARS = Condition( 23 ) |
| static constexpr Condition | carl::PROP_CONTAINS_REAL_VALUED_VARS = Condition( 24 ) |
| static constexpr Condition | carl::PROP_CONTAINS_UNINTERPRETED_EQUATIONS = Condition( 25 ) |
| static constexpr Condition | carl::PROP_CONTAINS_BITVECTOR = Condition( 26 ) |
| static constexpr Condition | carl::PROP_CONTAINS_PSEUDOBOOLEAN = Condition( 27 ) |
| static constexpr Condition | carl::PROP_VARIABLE_DEGREE_GREATER_THAN_TWO = Condition( 28 ) |
| static constexpr Condition | carl::PROP_VARIABLE_DEGREE_GREATER_THAN_THREE = Condition( 29 ) |
| static constexpr Condition | carl::PROP_VARIABLE_DEGREE_GREATER_THAN_FOUR = Condition( 30 ) |
| static constexpr Condition | carl::PROP_CONTAINS_WEAK_INEQUALITY = Condition( 31 ) |
| static constexpr Condition | carl::PROP_CONTAINS_QUANTIFIER_EXISTS = Condition( 32 ) |
| static constexpr Condition | carl::PROP_CONTAINS_QUANTIFIER_FORALL = Condition( 33 ) |
| static const Condition | carl::WEAK_CONDITIONS |
