Crate clingo_sys [−] [src]
Structs
Enums
clingo_ast_aggregate_function | |
clingo_ast_binary_operator | |
clingo_ast_body_literal_type | |
clingo_ast_comparison_operator |
@addtogroup AST @{ |
clingo_ast_head_literal_type | |
clingo_ast_literal_type | |
clingo_ast_script_type | |
clingo_ast_sign | |
clingo_ast_statement_type | |
clingo_ast_term_type | |
clingo_ast_theory_atom_definition_type | |
clingo_ast_theory_operator_type | |
clingo_ast_theory_term_type | |
clingo_ast_unary_operator | |
clingo_clause_type |
Enumeration of clause types determining the lifetime of a clause. |
clingo_configuration_type |
Enumeration for entries of the configuration. |
clingo_error |
Enumeration of error codes. |
clingo_external_type |
Enumeration of different external statements. @ingroup ProgramInspection |
clingo_heuristic_type |
Enumeration of different heuristic modifiers. @ingroup ProgramInspection |
clingo_model_type |
Enumeration for the different model types. |
clingo_propagator_check_mode |
Supported check modes for propagators. |
clingo_show_type |
Enumeration of bit flags to select symbols in models. |
clingo_solve_event_type |
Enumeration of solve events. |
clingo_solve_mode |
Enumeration of solve modes. |
clingo_solve_result | |
clingo_statistics_type |
Enumeration for entries of the statistics. |
clingo_symbol_type |
Enumeration of available symbol types. |
clingo_theory_term_type |
Enumeration of theory term types. |
clingo_truth_value |
Represents three-valued truth values. |
clingo_warning |
Enumeration of warning codes. |
Constants
Functions
clingo_add_string⚠ |
Internalize a string. |
clingo_assignment_decision⚠ |
Determine the decision literal given a decision level. |
clingo_assignment_decision_level⚠ |
Get the current decision level. |
clingo_assignment_has_conflict⚠ |
Check if the given assignment is conflicting. |
clingo_assignment_has_literal⚠ |
Check if the given literal is part of a (partial) assignment. |
clingo_assignment_is_false⚠ |
Check if a literal has a fixed truth value. |
clingo_assignment_is_fixed⚠ |
Check if a literal has a fixed truth value. |
clingo_assignment_is_total⚠ |
Check if the assignmen is total, i.e. - size == max_size. |
clingo_assignment_is_true⚠ |
Check if a literal is true. |
clingo_assignment_level⚠ |
Determine the decision level of a given literal. |
clingo_assignment_max_size⚠ |
The maximum size of the assignment (if all literals are assigned). |
clingo_assignment_size⚠ |
The number of assigned literals in the assignment. Parameters: |
clingo_assignment_truth_value⚠ |
Determine the truth value of a given literal. |
clingo_backend_acyc_edge⚠ |
Add an edge directive. |
clingo_backend_add_atom⚠ |
Get a fresh atom to be used in aspif directives. |
clingo_backend_assume⚠ |
Add an assumption directive. |
clingo_backend_external⚠ |
Add an external statement. |
clingo_backend_heuristic⚠ |
Add an heuristic directive. |
clingo_backend_minimize⚠ |
Add a minimize constraint (or weak constraint) to the program. |
clingo_backend_project⚠ |
Add a projection directive. |
clingo_backend_rule⚠ |
Add a rule to the program. |
clingo_backend_weight_rule⚠ |
Add a weight rule to the program. |
clingo_configuration_array_at⚠ |
Get the subkey at the given offset of an array entry. |
clingo_configuration_array_size⚠ |
Get the size of an array entry. |
clingo_configuration_description⚠ |
Get the description of an entry. |
clingo_configuration_map_at⚠ |
Lookup a subkey under the given name. |
clingo_configuration_map_has_subkey⚠ |
Query whether the map has a key. |
clingo_configuration_map_size⚠ |
Get the number of subkeys of a map entry. |
clingo_configuration_map_subkey_name⚠ |
Get the name associated with the offset-th subkey. |
clingo_configuration_root⚠ |
Get the root key of the configuration. |
clingo_configuration_type⚠ |
Get the type of a key. |
clingo_configuration_value_get⚠ |
Get the string value of the given entry. |
clingo_configuration_value_get_size⚠ |
Get the size of the string value of the given entry. |
clingo_configuration_value_is_assigned⚠ |
Check whether a entry has a value. |
clingo_configuration_value_set⚠ |
Set the value of an entry. |
clingo_control_add⚠ |
Extend the logic program with the given non-ground logic program in string form. |
clingo_control_assign_external⚠ |
Assign a truth value to an external atom. |
clingo_control_backend⚠ |
Get an object to add ground directives to the program. |
clingo_control_clasp_facade⚠ |
Get low-level access to clasp. |
clingo_control_cleanup⚠ |
Clean up the domains of clingo |
clingo_control_configuration⚠ |
Get a configuration object to change the solver configuration. |
clingo_control_free⚠ |
Free a control object created with clingo_control_new(). |
clingo_control_get_const⚠ |
Return the symbol for a constant definition of form: #const name = symbol. |
clingo_control_ground⚠ |
Ground the selected @link ::clingo_part parts @endlink of the current (non-ground) logic program. |
clingo_control_has_const⚠ |
Check if there is a constant definition for the given constant. |
clingo_control_interrupt⚠ |
Interrupt the active solve call (or the following solve call right at the beginning). |
clingo_control_load⚠ |
Extend the logic program with a program in a file. |
clingo_control_new⚠ |
Create a new control object. |
clingo_control_program_builder⚠ |
Get an object to add non-ground directives to the program. |
clingo_control_register_observer⚠ |
Register a program observer with the control object. |
clingo_control_register_propagator⚠ |
Register a custom propagator with the control object. |
clingo_control_release_external⚠ |
Release an external atom. |
clingo_control_solve⚠ |
Solve the currently @link ::clingo_control_ground grounded @endlink logic program enumerating its models. |
clingo_control_statistics⚠ |
Get a statistics object to inspect solver statistics. |
clingo_control_symbolic_atoms⚠ |
Get an object to inspect symbolic atoms (the relevant Herbrand base) used for grounding. |
clingo_control_theory_atoms⚠ |
Get an object to inspect theory atoms that occur in the grounding. |
clingo_control_use_enumeration_assumption⚠ |
Configure how learnt constraints are handled during enumeration. |
clingo_error_code⚠ |
Get the last error code set by a clingo API call. |
clingo_error_message⚠ |
Get the last error message set if an API call fails. |
clingo_error_string⚠ |
Convert error code into string. |
clingo_model_contains⚠ |
Constant time lookup to test whether an atom is in a model. |
clingo_model_context⚠ |
Get the associated solve control object of a model. |
clingo_model_cost⚠ |
Get the cost vector of a model. |
clingo_model_cost_size⚠ |
Get the number of cost values of a model. |
clingo_model_is_true⚠ |
Check if a program literal is true in a model. |
clingo_model_number⚠ |
Get the running number of the model. |
clingo_model_optimality_proven⚠ |
Whether the optimality of a model has been proven. |
clingo_model_symbols⚠ |
Get the symbols of the selected types in the model. |
clingo_model_symbols_size⚠ |
Get the number of symbols of the selected types in the model. |
clingo_model_thread_id⚠ |
Get the id of the solver thread that found the model. |
clingo_model_type⚠ |
Get the type of the model. |
clingo_parse_program⚠ |
Parse the given program and return an abstract syntax tree for each statement via a callback. |
clingo_parse_term⚠ |
Parse a term in string form. |
clingo_program_builder_add⚠ |
Adds a statement to the program. |
clingo_program_builder_begin⚠ |
Begin building a program. |
clingo_program_builder_end⚠ |
End building a program. |
clingo_propagate_control_add_clause⚠ |
Add the given clause to the solver. |
clingo_propagate_control_add_literal⚠ |
Adds a new volatile literal to the underlying solver thread. |
clingo_propagate_control_add_watch⚠ |
Add a watch for the solver literal in the given phase. |
clingo_propagate_control_assignment⚠ |
Get the assignment associated with the underlying solver. |
clingo_propagate_control_has_watch⚠ |
Check whether a literal is watched in the current solver thread. |
clingo_propagate_control_propagate⚠ |
Propagate implied literals (resulting from added clauses). |
clingo_propagate_control_remove_watch⚠ |
Removes the watch (if any) for the given solver literal. |
clingo_propagate_control_thread_id⚠ |
Get the id of the underlying solver thread. |
clingo_propagate_init_add_watch⚠ |
Add a watch for the solver literal in the given phase. |
clingo_propagate_init_get_check_mode⚠ |
Get the current check mode of the propagator. |
clingo_propagate_init_number_of_threads⚠ |
Get the number of threads used in subsequent solving. |
clingo_propagate_init_set_check_mode⚠ |
Configure when to call the check method of the propagator. |
clingo_propagate_init_solver_literal⚠ |
Map the given program literal or condition id to its solver literal. |
clingo_propagate_init_symbolic_atoms⚠ |
Get an object to inspect the symbolic atoms. |
clingo_propagate_init_theory_atoms⚠ |
Get an object to inspect the theory atoms. |
clingo_set_error⚠ |
Set a custom error code and message in the active thread. |
clingo_signature_arity⚠ |
Get the arity of a signature. |
clingo_signature_create⚠ |
Create a new signature. |
clingo_signature_hash⚠ |
Calculate a hash code of a signature. |
clingo_signature_is_equal_to⚠ |
Check if two signatures are equal. |
clingo_signature_is_less_than⚠ |
Check if a signature is less than another signature. |
clingo_signature_is_negative⚠ |
Whether the signature is negative (is classically negated). |
clingo_signature_is_positive⚠ |
Whether the signature is positive (is not classically negated). |
clingo_signature_name⚠ |
Get the name of a signature. |
clingo_solve_control_add_clause⚠ |
Add a clause that applies to the current solving step during model enumeration. |
clingo_solve_control_symbolic_atoms⚠ |
Get an object to inspect the symbolic atoms. |
clingo_solve_handle_cancel⚠ |
Stop the running search and block until done. |
clingo_solve_handle_close⚠ |
Stops the running search and releases the handle. |
clingo_solve_handle_get⚠ |
Get the next solve result. |
clingo_solve_handle_model⚠ |
Get the next model (or zero if there are no more models). |
clingo_solve_handle_resume⚠ |
Discards the last model and starts the search for the next one. |
clingo_solve_handle_wait⚠ |
Wait for the specified amount of time to check if the next result is ready. |
clingo_statistics_array_at⚠ |
Get the subkey at the given offset of an array entry. |
clingo_statistics_array_size⚠ |
Get the size of an array entry. |
clingo_statistics_map_at⚠ |
Lookup a subkey under the given name. |
clingo_statistics_map_size⚠ |
Get the number of subkeys of a map entry. |
clingo_statistics_map_subkey_name⚠ |
Get the name associated with the offset-th subkey. |
clingo_statistics_root⚠ |
Get the root key of the statistics. |
clingo_statistics_type⚠ |
Get the type of a key. |
clingo_statistics_value_get⚠ |
Get the value of the given entry. |
clingo_symbol_arguments⚠ |
Get the arguments of a symbol. |
clingo_symbol_create_function⚠ |
Construct a symbol representing a function or tuple. |
clingo_symbol_create_id⚠ |
Construct a symbol representing an id. |
clingo_symbol_create_infimum⚠ |
Construct a symbol representing #inf. |
clingo_symbol_create_number⚠ |
Construct a symbol representing a number. |
clingo_symbol_create_string⚠ |
Construct a symbol representing a string. |
clingo_symbol_create_supremum⚠ |
Construct a symbol representing #sup. |
clingo_symbol_hash⚠ |
Calculate a hash code of a symbol. |
clingo_symbol_is_equal_to⚠ |
Check if two symbols are equal. |
clingo_symbol_is_less_than⚠ |
Check if a symbol is less than another symbol. |
clingo_symbol_is_negative⚠ |
Check if a function is negative (has a sign). |
clingo_symbol_is_positive⚠ |
Check if a function is positive (does not have a sign). |
clingo_symbol_name⚠ |
Get the name of a symbol. |
clingo_symbol_number⚠ |
Get the number of a symbol. |
clingo_symbol_string⚠ |
Get the string of a symbol. |
clingo_symbol_to_string⚠ |
Get the string representation of a symbol. |
clingo_symbol_to_string_size⚠ |
Get the size of the string representation of a symbol (including the terminating 0). |
clingo_symbol_type⚠ |
Get the type of a symbol. |
clingo_symbolic_atoms_begin⚠ |
Get a forward iterator to the beginning of the sequence of all symbolic atoms optionally restricted to a given signature. |
clingo_symbolic_atoms_end⚠ |
Iterator pointing to the end of the sequence of symbolic atoms. |
clingo_symbolic_atoms_find⚠ |
Find a symbolic atom given its symbolic representation. |
clingo_symbolic_atoms_is_external⚠ |
Check whether an atom is external. |
clingo_symbolic_atoms_is_fact⚠ |
Check whether an atom is a fact. |
clingo_symbolic_atoms_is_valid⚠ |
Check whether the given iterator points to some element with the sequence of symbolic atoms or to the end of the sequence. |
clingo_symbolic_atoms_iterator_is_equal_to⚠ |
Check if two iterators point to the same element (or end of the sequence). |
clingo_symbolic_atoms_literal⚠ |
Returns the (numeric) aspif literal corresponding to the given symbolic atom. |
clingo_symbolic_atoms_next⚠ |
Get an iterator to the next element in the sequence of symbolic atoms. |
clingo_symbolic_atoms_signatures⚠ |
Get the predicate signatures occurring in a logic program. |
clingo_symbolic_atoms_signatures_size⚠ |
Get the number of different predicate signatures used in the program. |
clingo_symbolic_atoms_size⚠ |
Get the number of different atoms occurring in a logic program. |
clingo_symbolic_atoms_symbol⚠ |
Get the symbolic representation of an atom. |
clingo_theory_atoms_atom_elements⚠ |
Get the theory elements associated with the theory atom. |
clingo_theory_atoms_atom_guard⚠ |
Get the guard consisting of a theory operator and a theory term of the given theory atom. |
clingo_theory_atoms_atom_has_guard⚠ |
Whether the theory atom has a guard. |
clingo_theory_atoms_atom_literal⚠ |
Get the aspif literal associated with the given theory atom. |
clingo_theory_atoms_atom_term⚠ |
Get the theory term associated with the theory atom. |
clingo_theory_atoms_atom_to_string⚠ |
Get the string representation of the given theory atom. |
clingo_theory_atoms_atom_to_string_size⚠ |
Get the size of the string representation of the given theory atom (including the terminating 0). |
clingo_theory_atoms_element_condition⚠ |
Get the condition (array of aspif literals) of the given theory element. |
clingo_theory_atoms_element_condition_id⚠ |
Get the id of the condition of the given theory element. |
clingo_theory_atoms_element_to_string⚠ |
Get the string representation of the given theory element. |
clingo_theory_atoms_element_to_string_size⚠ |
Get the size of the string representation of the given theory element (including the terminating 0). |
clingo_theory_atoms_element_tuple⚠ |
Get the tuple (array of theory terms) of the given theory element. |
clingo_theory_atoms_size⚠ |
Get the total number of theory atoms. |
clingo_theory_atoms_term_arguments⚠ |
Get the arguments of the given function theory term. |
clingo_theory_atoms_term_name⚠ |
Get the name of the given constant or function theory term. |
clingo_theory_atoms_term_number⚠ |
Get the number of the given numeric theory term. |
clingo_theory_atoms_term_to_string⚠ |
Get the string representation of the given theory term. |
clingo_theory_atoms_term_to_string_size⚠ |
Get the size of the string representation of the given theory term (including the terminating 0). |
clingo_theory_atoms_term_type⚠ |
Get the type of the given theory term. |
clingo_version⚠ |
Obtain the clingo version. |
clingo_warning_string⚠ |
Convert warning code into string. |