- a -

• A_AND_B__IFF_C : carl
• A_IFF_B : carl
• A_IMPLIES_B : carl
• A_XOR_B : carl

- b -

• B_IMPLIES_A : carl

- c -

• CONDITION_SIZE : carl

- d -

• dependent_false_v : carl
• dummy : carl

- f -

• FULL_EFFORT_FOR_DEFINITENESS_CHECK : carl::constraint

- i -

• initvariable : carl

- l -

• last_assertion_code : carl
• last_assertion_string : carl

- m -

• MAXINT : carl::tree_detail
• mMap : carl

- n -

• NOT__A_AND_B : carl

- o -

• ONE_DIVIDED_BY_10_TO_THE_POWER_OF_23 : carl
• ONE_DIVIDED_BY_10_TO_THE_POWER_OF_52 : carl

- p -

• PROP_CONTAINS_BITVECTOR : carl
• PROP_CONTAINS_BOOLEAN : carl
• PROP_CONTAINS_EQUATION : carl
• PROP_CONTAINS_INEQUALITY : carl
• PROP_CONTAINS_INTEGER_VALUED_VARS : carl
• PROP_CONTAINS_LINEAR_POLYNOMIAL : carl
• PROP_CONTAINS_MULTIVARIATE_POLYNOMIAL : carl
• PROP_CONTAINS_NONLINEAR_POLYNOMIAL : carl
• PROP_CONTAINS_PSEUDOBOOLEAN : carl
• PROP_CONTAINS_QUANTIFIER_EXISTS : carl
• PROP_CONTAINS_QUANTIFIER_FORALL : carl
• PROP_CONTAINS_REAL_VALUED_VARS : carl
• PROP_CONTAINS_ROOT_EXPRESSION : carl
• PROP_CONTAINS_STRICT_INEQUALITY : carl
• PROP_CONTAINS_UNINTERPRETED_EQUATIONS : carl
• PROP_CONTAINS_WEAK_INEQUALITY : carl
• PROP_IS_A_CLAUSE : carl
• PROP_IS_A_LITERAL : carl
• PROP_IS_AN_ATOM : carl
• PROP_IS_IN_CNF : carl
• PROP_IS_IN_NNF : carl
• PROP_IS_IN_PNF : carl
• PROP_IS_LITERAL_CONJUNCTION : carl
• PROP_IS_PURE_CONJUNCTION : carl
• PROP_TRUE : carl
• PROP_VARIABLE_DEGREE_GREATER_THAN_FOUR : carl
• PROP_VARIABLE_DEGREE_GREATER_THAN_THREE : carl
• PROP_VARIABLE_DEGREE_GREATER_THAN_TWO : carl

- s -

• signal_installed : carl
• sizeOfUnsigned : carl
• STRONG_CONDITIONS : carl

- w -

• WEAK_CONDITIONS : carl