Here is a list of all documented namespace members with links to the namespaces they belong to:

• violation_type_t : xcontract
• violationReport_fn_t : xcontract
• xContract_contract_violation() : xcontract
• xContract_contract_violation2() : xcontract
• xContract_getViolationTypeString() : xcontract
• xContract_getViolationTypeStringLength() : xcontract
• xContract_intermediateAssumption : xcontract
• xContract_invariant_class : xcontract
• xContract_invariant_global : xcontract
• xContract_isConditionVerified() : xcontract
• xContract_postcondition_logic : xcontract
• xContract_postcondition_parameters : xcontract
• xContract_postcondition_returnValue : xcontract
• xContract_precondition_logic : xcontract
• xContract_precondition_parameters : xcontract
• xContract_staticData : xcontract
• xContract_unexpectedCondition : xcontract
• xContract_violation_type_t : xcontract
• xContract_violationReport() : xcontract
• xContract_violationReport_fn_t : xcontract