[−][src]Crate clingo_sys
Structs
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. |
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_begin⚠ | Prepare the backend for usage. |
clingo_backend_end⚠ | Finalize the backend after using it. |
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's grounding component using the solving component's top level assignment. |
clingo_control_configuration⚠ | Get a configuration object to change the solver configuration. |
clingo_control_free⚠ | Free a control object created with clingo_control_new(). @param[in] control the target |
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_is_conflicting⚠ | Check if the solver has determined that the internal program representation is conflicting. |
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. @note Each thread has its own local error code. @return error code |
clingo_error_message⚠ | Get the last error message set if an API call fails. @note Each thread has its own local error message. @return error message or NULL |
clingo_error_string⚠ | Convert error code into string. |
clingo_main⚠ | Run clingo with a customized main function (similar to python and lua embedding). |
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_extend⚠ | Add symbols to the 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_options_add⚠ | Add an option that is processed with a custom parser. |
clingo_options_add_flag⚠ | Add an option that is a simple flag. |
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_add_watch_to_thread⚠ | Add a watch for the solver literal in the given phase to the given solver thread. |
clingo_propagate_init_assignment⚠ | Get the top level assignment solver. |
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. @param[in] code the error code @param[in] message the error message |
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_push⚠ | Create the subkey at the end of an array entry. |
clingo_statistics_array_size⚠ | Get the size of an array entry. |
clingo_statistics_map_add_subkey⚠ | Add a subkey with the given name. |
clingo_statistics_map_at⚠ | Lookup a subkey under the given name. |
clingo_statistics_map_has_subkey⚠ | Test if the given map contains a specific subkey. |
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_statistics_value_set⚠ | Set 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. |