List of all items
Structs
- max_align_t
- vampire_clause_t
- vampire_formula_t
- vampire_literal_t
- vampire_problem_t
- vampire_proof_step_t
- vampire_term_t
- vampire_unit_t
Functions
- vampire_add_function
- vampire_add_predicate
- vampire_and
- vampire_atom
- vampire_axiom_clause
- vampire_axiom_formula
- vampire_clause
- vampire_clause_is_empty
- vampire_clause_to_string
- vampire_conjecture_clause
- vampire_conjecture_formula
- vampire_constant
- vampire_eq
- vampire_exists
- vampire_extract_proof
- vampire_forall
- vampire_formula_to_string
- vampire_free_literals
- vampire_free_proof_steps
- vampire_free_string
- vampire_get_literals
- vampire_get_refutation
- vampire_iff
- vampire_imp
- vampire_input_type_name
- vampire_lit
- vampire_literal_to_string
- vampire_neg
- vampire_not
- vampire_or
- vampire_prepare_for_next_proof
- vampire_print_proof
- vampire_print_proof_to_file
- vampire_problem_from_clauses
- vampire_problem_from_units
- vampire_prove
- vampire_reset
- vampire_rule_name
- vampire_set_saturation_algorithm
- vampire_set_show_proof
- vampire_set_time_limit
- vampire_set_time_limit_deciseconds
- vampire_term
- vampire_term_to_string
- vampire_unit_as_clause
- vampire_var
Type Aliases
Constants
- __bool_true_false_are_defined
- false_
- true_
- vampire_inference_rule_t_VAMPIRE_RULE_CLAUSIFY
- vampire_inference_rule_t_VAMPIRE_RULE_EQUALITY_FACTORING
- vampire_inference_rule_t_VAMPIRE_RULE_EQUALITY_RESOLUTION
- vampire_inference_rule_t_VAMPIRE_RULE_FACTORING
- vampire_inference_rule_t_VAMPIRE_RULE_INPUT
- vampire_inference_rule_t_VAMPIRE_RULE_OTHER
- vampire_inference_rule_t_VAMPIRE_RULE_RESOLUTION
- vampire_inference_rule_t_VAMPIRE_RULE_SUPERPOSITION
- vampire_input_type_t_VAMPIRE_AXIOM
- vampire_input_type_t_VAMPIRE_CONJECTURE
- vampire_input_type_t_VAMPIRE_NEGATED_CONJECTURE
- vampire_proof_result_t_VAMPIRE_INCOMPLETE
- vampire_proof_result_t_VAMPIRE_MEMORY_LIMIT
- vampire_proof_result_t_VAMPIRE_PROOF
- vampire_proof_result_t_VAMPIRE_SATISFIABLE
- vampire_proof_result_t_VAMPIRE_TIMEOUT
- vampire_proof_result_t_VAMPIRE_UNKNOWN