clingo_atom_t (reference) in projects: dports

Project(s)

Full Search
Definition
Symbol
File Path
History
Type

Searched refs:clingo_atom_t (Results 1 – 6 of 6) sorted by relevance

/dports/math/clingo/clingo-5.5.1/libclingo/
H A D	clingo.h	123 typedef uint32_t clingo_atom_t; typedef 1537 …AULT bool clingo_backend_rule(clingo_backend_t backend, bool choice, clingo_atom_t const head, s… 1567 CLINGO_VISIBILITY_DEFAULT bool clingo_backend_project(clingo_backend_t backend, clingo_atom_t cons… 1575 CLINGO_VISIBILITY_DEFAULT bool clingo_backend_external(clingo_backend_t backend, clingo_atom_t ato… 1612 …l clingo_backend_add_atom(clingo_backend_t backend, clingo_symbol_t symbol, clingo_atom_t atom); 3098 …bool (rule)(bool choice, clingo_atom_t const head, size_t head_size, clingo_literal_t const bod… 3109 …bool (weight_rule)(bool choice, clingo_atom_t const head, size_t head_size, clingo_weight_t lowe… 3124 bool (project)(clingo_atom_t const atoms, size_t size, void data); 3133 bool (output_atom)(clingo_symbol_t symbol, clingo_atom_t atom, void data); 3157 bool (external)(clingo_atom_t atom, clingo_external_type_t type, void *data); [all …]
H A D	clingo.hh	506 using atom_t = clingo_atom_t; 3112 clingo_atom_t ret = 0; in add_atom() 3118 clingo_atom_t ret = 0; in add_atom() 4289 inline bool g_rule(bool choice, clingo_atom_t const head, size_t head_size, clingo_literal_t const… in g_rule() 4295 inline bool g_weight_rule(bool choice, clingo_atom_t const head, size_t head_size, clingo_weight_t… in g_weight_rule() 4307 inline bool g_project(clingo_atom_t const atoms, size_t size, void pdata) { in g_project() 4313 inline bool g_output_atom(clingo_symbol_t symbol, clingo_atom_t atom, void pdata) { in g_output_atom() 4331 inline bool g_external(clingo_atom_t atom, clingo_external_type_t type, void pdata) { in g_external() 4343 inline bool g_heuristic(clingo_atom_t atom, clingo_heuristic_type_t type, int bias, unsigned priori… in g_heuristic()
/dports/math/clingo/clingo-5.5.1/libpyclingo/
H A D	_clingo.cdef	2 typedef uint32_t clingo_atom_t; 229 bool clingo_backend_project(clingo_backend_t backend, clingo_atom_t const atoms, size_t size); 230 bool clingo_backend_external(clingo_backend_t backend, clingo_atom_t atom, clingo_external_type_t … 234 bool clingo_backend_add_atom(clingo_backend_t backend, clingo_symbol_t symbol, clingo_atom_t ato… 581 bool (rule)(bool choice, clingo_atom_t const head, size_t head_size, clingo_literal_t const body… 584 bool (project)(clingo_atom_t const atoms, size_t size, void data); 585 bool (output_atom)(clingo_symbol_t symbol, clingo_atom_t atom, void data); 588 bool (external)(clingo_atom_t atom, clingo_external_type_t type, void data); 673 extern "Python" bool pyclingo_observer_project(clingo_atom_t const atoms, size_t size, void data); 674 extern "Python" bool pyclingo_observer_output_atom(clingo_symbol_t symbol, clingo_atom_t atom, void… [all …]
/dports/math/clingo/clingo-5.5.1/examples/c/
H A D	backend.c	`102 clingo_atom_t atom_ids[4]; in main()`
/dports/math/clingo/clingo-5.5.1/libluaclingo/
H A D	luaclingo.cc	2128 auto head = AnyWrap::new_<std::vector<clingo_atom_t>>(L); // +1 in addRule() 2148 clingo_atom_t atom; in addExternal() 2160 auto head = AnyWrap::new_<std::vector<clingo_atom_t>>(L); // +1 in addWeightRule() 3097 …static bool rule(bool choice, clingo_atom_t const head, size_t head_size, clingo_literal_t const … in rule() 3100 …static bool weight_rule(bool choice, clingo_atom_t const head, size_t head_size, clingo_weight_t … in weight_rule() 3106 static bool project(clingo_atom_t const atoms, size_t size, void data) { in project() 3109 static bool output_atom(clingo_symbol_t symbol, clingo_atom_t atom, void data) { in output_atom() 3118 static bool external(clingo_atom_t atom, clingo_external_type_t type, void data) { in external() 3124 …static bool heuristic(clingo_atom_t atom, clingo_heuristic_type_t type, int bias, unsigned priorit… in heuristic()
/dports/math/clingo/clingo-5.5.1/libclingo/src/
H A D	control.cc	1071 extern "C" bool clingo_backend_rule(clingo_backend_t backend, bool choice, clingo_atom_t const he… in clingo_backend_rule() 1079 extern "C" bool clingo_backend_weight_rule(clingo_backend_t backend, bool choice, clingo_atom_t co… in clingo_backend_weight_rule() 1089 extern "C" bool clingo_backend_project(clingo_backend_t backend, clingo_atom_t const atoms, size_… in clingo_backend_project() 1094 extern "C" bool clingo_backend_external(clingo_backend_t backend, clingo_atom_t atom, clingo_exter… in clingo_backend_external() 1104 extern "C" bool clingo_backend_heuristic(clingo_backend_t backend, clingo_atom_t atom, clingo_heur… in clingo_backend_heuristic() 1114 …l clingo_backend_add_atom(clingo_backend_t backend, clingo_symbol_t symbol, clingo_atom_t ret) { in clingo_backend_add_atom()