Clingo
Loading...
Searching...
No Matches
Modules
Language
Internal C++ API » Input

Data structures and functions to capture the clingo language. More...

Modules

 Terms
 Data structures and functions to represent terms.
 
 Literals
 Data structures and functions to represent simple literals.
 
 Theory Terms and Atoms
 Data structures and functions to represent theory terms and atoms.
 
 Aggregates
 Common data structures and functions for head and body aggregates.
 
 Head Literals
 Data structures and functions to represent head literals.
 
 Body Literals
 Data structures and functions to represent body literals.
 
 Statements
 Data structures and functions to represent statements.
 
 Programs
 Data structures and functions to represent and rewrite programs.
 
constexpr auto CppClingo::Input::a_anonymous = Util::Record::AttributeName<1>{}
 
constexpr auto CppClingo::Input::a_args = Util::Record::AttributeName<2>{}
 
constexpr auto CppClingo::Input::a_arity = Util::Record::AttributeName<3>{}
 
constexpr auto CppClingo::Input::a_atom_defs = Util::Record::AttributeName<4>{}
 
constexpr auto CppClingo::Input::a_atom = Util::Record::AttributeName<5>{}
 
constexpr auto CppClingo::Input::a_body = Util::Record::AttributeName<6>{}
 
constexpr auto CppClingo::Input::a_cond = Util::Record::AttributeName<7>{}
 
constexpr auto CppClingo::Input::a_dst = Util::Record::AttributeName<8>{}
 
constexpr auto CppClingo::Input::a_edges = Util::Record::AttributeName<9>{}
 
constexpr auto CppClingo::Input::a_elems = Util::Record::AttributeName<10>{}
 
constexpr auto CppClingo::Input::a_external = Util::Record::AttributeName<11>{}
 
constexpr auto CppClingo::Input::a_fun = Util::Record::AttributeName<12>{}
 
constexpr auto CppClingo::Input::a_head = Util::Record::AttributeName<13>{}
 
constexpr auto CppClingo::Input::a_lhs = Util::Record::AttributeName<14>{}
 
constexpr auto CppClingo::Input::a_lit = Util::Record::AttributeName<15>{}
 
constexpr auto CppClingo::Input::a_loc = Util::Record::AttributeName<16, false>{}
 
constexpr auto CppClingo::Input::a_name = Util::Record::AttributeName<17>{}
 
constexpr auto CppClingo::Input::a_op_defs = Util::Record::AttributeName<18>{}
 
constexpr auto CppClingo::Input::a_op = Util::Record::AttributeName<19>{}
 
constexpr auto CppClingo::Input::a_ops = Util::Record::AttributeName<20>{}
 
constexpr auto CppClingo::Input::a_pool = Util::Record::AttributeName<21>{}
 
constexpr auto CppClingo::Input::a_prio = Util::Record::AttributeName<22>{}
 
constexpr auto CppClingo::Input::a_rhs = Util::Record::AttributeName<23>{}
 
constexpr auto CppClingo::Input::a_sign = Util::Record::AttributeName<24>{}
 
constexpr auto CppClingo::Input::a_src = Util::Record::AttributeName<25>{}
 
constexpr auto CppClingo::Input::a_term_defs = Util::Record::AttributeName<26>{}
 
constexpr auto CppClingo::Input::a_terms = Util::Record::AttributeName<27>{}
 
constexpr auto CppClingo::Input::a_term = Util::Record::AttributeName<28>{}
 
constexpr auto CppClingo::Input::a_tuple = Util::Record::AttributeName<29>{}
 
constexpr auto CppClingo::Input::a_type = Util::Record::AttributeName<30>{}
 
constexpr auto CppClingo::Input::a_value = Util::Record::AttributeName<31>{}
 
constexpr auto CppClingo::Input::a_weight = Util::Record::AttributeName<32>{}
 

Detailed Description

Data structures and functions to capture the clingo language.

Variable Documentation

◆ a_anonymous

constexpr auto CppClingo::Input::a_anonymous = Util::Record::AttributeName<1>{}
constexpr

A named attribute.

◆ a_args

constexpr auto CppClingo::Input::a_args = Util::Record::AttributeName<2>{}
constexpr

A named attribute.

◆ a_arity

constexpr auto CppClingo::Input::a_arity = Util::Record::AttributeName<3>{}
constexpr

A named attribute.

◆ a_atom

constexpr auto CppClingo::Input::a_atom = Util::Record::AttributeName<5>{}
constexpr

A named attribute.

◆ a_atom_defs

constexpr auto CppClingo::Input::a_atom_defs = Util::Record::AttributeName<4>{}
constexpr

A named attribute.

◆ a_body

constexpr auto CppClingo::Input::a_body = Util::Record::AttributeName<6>{}
constexpr

A named attribute.

◆ a_cond

constexpr auto CppClingo::Input::a_cond = Util::Record::AttributeName<7>{}
constexpr

A named attribute.

◆ a_dst

constexpr auto CppClingo::Input::a_dst = Util::Record::AttributeName<8>{}
constexpr

A named attribute.

◆ a_edges

constexpr auto CppClingo::Input::a_edges = Util::Record::AttributeName<9>{}
constexpr

A named attribute.

◆ a_elems

constexpr auto CppClingo::Input::a_elems = Util::Record::AttributeName<10>{}
constexpr

A named attribute.

◆ a_external

constexpr auto CppClingo::Input::a_external = Util::Record::AttributeName<11>{}
constexpr

A named attribute.

◆ a_fun

constexpr auto CppClingo::Input::a_fun = Util::Record::AttributeName<12>{}
constexpr

A named attribute.

◆ a_head

constexpr auto CppClingo::Input::a_head = Util::Record::AttributeName<13>{}
constexpr

A named attribute.

◆ a_lhs

constexpr auto CppClingo::Input::a_lhs = Util::Record::AttributeName<14>{}
constexpr

A named attribute.

◆ a_lit

constexpr auto CppClingo::Input::a_lit = Util::Record::AttributeName<15>{}
constexpr

A named attribute.

◆ a_loc

constexpr auto CppClingo::Input::a_loc = Util::Record::AttributeName<16, false>{}
constexpr

A named attribute.

◆ a_name

constexpr auto CppClingo::Input::a_name = Util::Record::AttributeName<17>{}
constexpr

A named attribute.

◆ a_op

constexpr auto CppClingo::Input::a_op = Util::Record::AttributeName<19>{}
constexpr

A named attribute.

◆ a_op_defs

constexpr auto CppClingo::Input::a_op_defs = Util::Record::AttributeName<18>{}
constexpr

A named attribute.

◆ a_ops

constexpr auto CppClingo::Input::a_ops = Util::Record::AttributeName<20>{}
constexpr

A named attribute.

◆ a_pool

constexpr auto CppClingo::Input::a_pool = Util::Record::AttributeName<21>{}
constexpr

A named attribute.

◆ a_prio

constexpr auto CppClingo::Input::a_prio = Util::Record::AttributeName<22>{}
constexpr

A named attribute.

◆ a_rhs

constexpr auto CppClingo::Input::a_rhs = Util::Record::AttributeName<23>{}
constexpr

A named attribute.

◆ a_sign

constexpr auto CppClingo::Input::a_sign = Util::Record::AttributeName<24>{}
constexpr

A named attribute.

◆ a_src

constexpr auto CppClingo::Input::a_src = Util::Record::AttributeName<25>{}
constexpr

A named attribute.

◆ a_term

constexpr auto CppClingo::Input::a_term = Util::Record::AttributeName<28>{}
constexpr

A named attribute.

◆ a_term_defs

constexpr auto CppClingo::Input::a_term_defs = Util::Record::AttributeName<26>{}
constexpr

A named attribute.

◆ a_terms

constexpr auto CppClingo::Input::a_terms = Util::Record::AttributeName<27>{}
constexpr

A named attribute.

◆ a_tuple

constexpr auto CppClingo::Input::a_tuple = Util::Record::AttributeName<29>{}
constexpr

A named attribute.

◆ a_type

constexpr auto CppClingo::Input::a_type = Util::Record::AttributeName<30>{}
constexpr

A named attribute.

◆ a_value

constexpr auto CppClingo::Input::a_value = Util::Record::AttributeName<31>{}
constexpr

A named attribute.

◆ a_weight

constexpr auto CppClingo::Input::a_weight = Util::Record::AttributeName<32>{}
constexpr

A named attribute.