Clingo
Loading...
Searching...
No Matches
print.hh
1#pragma once
2
3#include <clingo/input/statement.hh>
4
5namespace CppClingo::Input {
6
9
12
14auto operator<<(std::ostream &out, UnaryOperator op) -> std::ostream &;
16auto operator<<(Util::OutputBuffer &out, UnaryOperator op) -> Util::OutputBuffer &;
17
19auto operator<<(std::ostream &out, BinaryOperator op) -> std::ostream &;
21auto operator<<(Util::OutputBuffer &out, BinaryOperator op) -> Util::OutputBuffer &;
22
24
27
29auto operator<<(std::ostream &out, Projection const &projection) -> std::ostream &;
31auto operator<<(Util::OutputBuffer &out, Projection const &projection) -> Util::OutputBuffer &;
32
34auto operator<<(std::ostream &out, TermVariable const &term) -> std::ostream &;
36auto operator<<(Util::OutputBuffer &out, TermVariable const &term) -> Util::OutputBuffer &;
37
39auto operator<<(std::ostream &out, TermSymbol const &term) -> std::ostream &;
41auto operator<<(Util::OutputBuffer &out, TermSymbol const &term) -> Util::OutputBuffer &;
42
44auto operator<<(std::ostream &out, TermAbs const &term) -> std::ostream &;
46auto operator<<(Util::OutputBuffer &out, TermAbs const &term) -> Util::OutputBuffer &;
47
49auto operator<<(std::ostream &out, TermUnary const &term) -> std::ostream &;
51auto operator<<(Util::OutputBuffer &out, TermUnary const &term) -> Util::OutputBuffer &;
52
54auto operator<<(std::ostream &out, TermBinary const &term) -> std::ostream &;
56auto operator<<(Util::OutputBuffer &out, TermBinary const &term) -> Util::OutputBuffer &;
57
59auto operator<<(std::ostream &out, TermTuple const &term) -> std::ostream &;
61auto operator<<(Util::OutputBuffer &out, TermTuple const &term) -> Util::OutputBuffer &;
62
64auto operator<<(std::ostream &out, TermFunction const &term) -> std::ostream &;
66auto operator<<(Util::OutputBuffer &out, TermFunction const &term) -> Util::OutputBuffer &;
67
69auto operator<<(std::ostream &out, Term const &term) -> std::ostream &;
71auto operator<<(Util::OutputBuffer &out, Term const &term) -> Util::OutputBuffer &;
72
74
77
79auto operator<<(std::ostream &out, TheoryTermVariable const &term) -> std::ostream &;
81auto operator<<(Util::OutputBuffer &out, TheoryTermVariable const &term) -> Util::OutputBuffer &;
82
84auto operator<<(std::ostream &out, TheoryTermSymbol const &term) -> std::ostream &;
86auto operator<<(Util::OutputBuffer &out, TheoryTermSymbol const &term) -> Util::OutputBuffer &;
87
89auto operator<<(std::ostream &out, TheoryTermTuple const &term) -> std::ostream &;
91auto operator<<(Util::OutputBuffer &out, TheoryTermTuple const &term) -> Util::OutputBuffer &;
92
94auto operator<<(std::ostream &out, TheoryTermFunction const &term) -> std::ostream &;
96auto operator<<(Util::OutputBuffer &out, TheoryTermFunction const &term) -> Util::OutputBuffer &;
97
99auto operator<<(std::ostream &out, TheoryTermUnparsed const &term) -> std::ostream &;
101auto operator<<(Util::OutputBuffer &out, TheoryTermUnparsed const &term) -> Util::OutputBuffer &;
102
104auto operator<<(std::ostream &out, TheoryTerm const &term) -> std::ostream &;
106auto operator<<(Util::OutputBuffer &out, TheoryTerm const &term) -> Util::OutputBuffer &;
107
109
112
114auto operator<<(std::ostream &out, CondLit const &lit) -> std::ostream &;
116auto operator<<(Util::OutputBuffer &out, CondLit const &lit) -> Util::OutputBuffer &;
117
119auto operator<<(std::ostream &out, TheoryElement const &elem) -> std::ostream &;
121auto operator<<(Util::OutputBuffer &out, TheoryElement const &elem) -> Util::OutputBuffer &;
122
124auto operator<<(std::ostream &out, SetAggregateElement const &elem) -> std::ostream &;
126auto operator<<(Util::OutputBuffer &out, SetAggregateElement const &elem) -> Util::OutputBuffer &;
127
129auto operator<<(std::ostream &out, HdLitAggregateElement const &elem) -> std::ostream &;
131auto operator<<(Util::OutputBuffer &out, HdLitAggregateElement const &elem) -> Util::OutputBuffer &;
132
134auto operator<<(std::ostream &out, BdLitAggregateElement const &elem) -> std::ostream &;
136auto operator<<(Util::OutputBuffer &out, BdLitAggregateElement const &elem) -> Util::OutputBuffer &;
137
139
142
144auto operator<<(std::ostream &out, LitBool const &lit) -> std::ostream &;
146auto operator<<(Util::OutputBuffer &out, LitBool const &lit) -> Util::OutputBuffer &;
147
149auto operator<<(std::ostream &out, LitComparison const &lit) -> std::ostream &;
151auto operator<<(Util::OutputBuffer &out, LitComparison const &lit) -> Util::OutputBuffer &;
152
154auto operator<<(std::ostream &out, LitSymbolic const &lit) -> std::ostream &;
156auto operator<<(Util::OutputBuffer &out, LitSymbolic const &lit) -> Util::OutputBuffer &;
157
159auto operator<<(std::ostream &out, Lit const &lit) -> std::ostream &;
161auto operator<<(Util::OutputBuffer &out, Lit const &lit) -> Util::OutputBuffer &;
162
164
167
169auto operator<<(std::ostream &out, HdLitSimple const &lit) -> std::ostream &;
171auto operator<<(Util::OutputBuffer &out, HdLitSimple const &lit) -> Util::OutputBuffer &;
172
174auto operator<<(std::ostream &out, HdLitDisjunction const &lit) -> std::ostream &;
176auto operator<<(Util::OutputBuffer &out, HdLitDisjunction const &lit) -> Util::OutputBuffer &;
177
179auto operator<<(std::ostream &out, HdLitAggregate const &lit) -> std::ostream &;
181auto operator<<(Util::OutputBuffer &out, HdLitAggregate const &lit) -> Util::OutputBuffer &;
182
184auto operator<<(std::ostream &out, HdLitSetAggregate const &lit) -> std::ostream &;
186auto operator<<(Util::OutputBuffer &out, HdLitSetAggregate const &lit) -> Util::OutputBuffer &;
187
189auto operator<<(std::ostream &out, HdLit const &lit) -> std::ostream &;
191auto operator<<(Util::OutputBuffer &out, HdLit const &lit) -> Util::OutputBuffer &;
192
194
197
199auto operator<<(std::ostream &out, BdLitSimple const &lit) -> std::ostream &;
201auto operator<<(Util::OutputBuffer &out, BdLitSimple const &lit) -> Util::OutputBuffer &;
202
204auto operator<<(std::ostream &out, BdLitConjunction const &lit) -> std::ostream &;
206auto operator<<(Util::OutputBuffer &out, BdLitConjunction const &lit) -> Util::OutputBuffer &;
207
209auto operator<<(std::ostream &out, BdLitAggregate const &lit) -> std::ostream &;
211auto operator<<(Util::OutputBuffer &out, BdLitAggregate const &lit) -> Util::OutputBuffer &;
212
214auto operator<<(std::ostream &out, BdLitSetAggregate const &lit) -> std::ostream &;
216auto operator<<(Util::OutputBuffer &out, BdLitSetAggregate const &lit) -> Util::OutputBuffer &;
217
219auto operator<<(std::ostream &out, BdLitTheoryAtom const &lit) -> std::ostream &;
221auto operator<<(Util::OutputBuffer &out, BdLitTheoryAtom const &lit) -> Util::OutputBuffer &;
222
224auto operator<<(std::ostream &out, BdLit const &lit) -> std::ostream &;
226auto operator<<(Util::OutputBuffer &out, BdLit const &lit) -> Util::OutputBuffer &;
227
229
232
234auto operator<<(std::ostream &out, TheoryOpDefinition const &def) -> std::ostream &;
236auto operator<<(Util::OutputBuffer &out, TheoryOpDefinition const &def) -> Util::OutputBuffer &;
237
239auto operator<<(std::ostream &out, TheoryTermDefinition const &def) -> std::ostream &;
241auto operator<<(Util::OutputBuffer &out, TheoryTermDefinition const &def) -> Util::OutputBuffer &;
242
244auto operator<<(std::ostream &out, TheoryRGuardDefinition const &def) -> std::ostream &;
246auto operator<<(Util::OutputBuffer &out, TheoryRGuardDefinition const &def) -> Util::OutputBuffer &;
247
249auto operator<<(std::ostream &out, TheoryAtomDefinition const &def) -> std::ostream &;
251auto operator<<(Util::OutputBuffer &out, TheoryAtomDefinition const &def) -> Util::OutputBuffer &;
252
254auto operator<<(std::ostream &out, OptimizeTuple const &tuple) -> std::ostream &;
256auto operator<<(Util::OutputBuffer &out, OptimizeTuple const &tuple) -> Util::OutputBuffer &;
257
259auto operator<<(std::ostream &out, OptimizeElement const &elem) -> std::ostream &;
261auto operator<<(Util::OutputBuffer &out, OptimizeElement const &elem) -> Util::OutputBuffer &;
262
264auto operator<<(std::ostream &out, Edge const &edge) -> std::ostream &;
266auto operator<<(Util::OutputBuffer &out, Edge const &edge) -> Util::OutputBuffer &;
267
269
272
274auto operator<<(std::ostream &out, StmRule const &stm) -> std::ostream &;
276auto operator<<(Util::OutputBuffer &out, StmRule const &stm) -> Util::OutputBuffer &;
277
279auto operator<<(std::ostream &out, StmTheory const &stm) -> std::ostream &;
281auto operator<<(Util::OutputBuffer &out, StmTheory const &stm) -> Util::OutputBuffer &;
282
284auto operator<<(std::ostream &out, StmOptimize const &stm) -> std::ostream &;
286auto operator<<(Util::OutputBuffer &out, StmOptimize const &stm) -> Util::OutputBuffer &;
287
289auto operator<<(std::ostream &out, StmWeakConstraint const &stm) -> std::ostream &;
291auto operator<<(Util::OutputBuffer &out, StmWeakConstraint const &stm) -> Util::OutputBuffer &;
292
294auto operator<<(std::ostream &out, StmShow const &stm) -> std::ostream &;
296auto operator<<(Util::OutputBuffer &out, StmShow const &stm) -> Util::OutputBuffer &;
297
299auto operator<<(std::ostream &out, StmShowSig const &stm) -> std::ostream &;
301auto operator<<(Util::OutputBuffer &out, StmShowSig const &stm) -> Util::OutputBuffer &;
302
304auto operator<<(std::ostream &out, StmProject const &stm) -> std::ostream &;
306auto operator<<(Util::OutputBuffer &out, StmProject const &stm) -> Util::OutputBuffer &;
307
309auto operator<<(std::ostream &out, StmProjectSig const &stm) -> std::ostream &;
311auto operator<<(Util::OutputBuffer &out, StmProjectSig const &stm) -> Util::OutputBuffer &;
312
314auto operator<<(std::ostream &out, StmDefined const &stm) -> std::ostream &;
316auto operator<<(Util::OutputBuffer &out, StmDefined const &stm) -> Util::OutputBuffer &;
317
319auto operator<<(std::ostream &out, StmExternal const &stm) -> std::ostream &;
321auto operator<<(Util::OutputBuffer &out, StmExternal const &stm) -> Util::OutputBuffer &;
322
324auto operator<<(std::ostream &out, StmEdge const &stm) -> std::ostream &;
326auto operator<<(Util::OutputBuffer &out, StmEdge const &stm) -> Util::OutputBuffer &;
327
329auto operator<<(std::ostream &out, StmHeuristic const &stm) -> std::ostream &;
331auto operator<<(Util::OutputBuffer &out, StmHeuristic const &stm) -> Util::OutputBuffer &;
332
334auto operator<<(std::ostream &out, StmScript const &stm) -> std::ostream &;
336auto operator<<(Util::OutputBuffer &out, StmScript const &stm) -> Util::OutputBuffer &;
337
339auto operator<<(std::ostream &out, StmInclude const &stm) -> std::ostream &;
341auto operator<<(Util::OutputBuffer &out, StmInclude const &stm) -> Util::OutputBuffer &;
342
344auto operator<<(std::ostream &out, StmProgram const &stm) -> std::ostream &;
346auto operator<<(Util::OutputBuffer &out, StmProgram const &stm) -> Util::OutputBuffer &;
347
349auto operator<<(std::ostream &out, StmConst const &stm) -> std::ostream &;
351auto operator<<(Util::OutputBuffer &out, StmConst const &stm) -> Util::OutputBuffer &;
352
354auto operator<<(std::ostream &out, StmComment const &stm) -> std::ostream &;
356auto operator<<(Util::OutputBuffer &out, StmComment const &stm) -> Util::OutputBuffer &;
357
359auto operator<<(std::ostream &out, Stm const &stm) -> std::ostream &;
361auto operator<<(Util::OutputBuffer &out, Stm const &stm) -> Util::OutputBuffer &;
362
364
366auto to_string(Term const &term) -> std::string;
367
369auto to_string(TheoryTerm const &term) -> std::string;
370
372auto to_string(Lit const &lit) -> std::string;
373
375auto to_string(HdLit const &lit) -> std::string;
376
378auto to_string(BdLit const &lit) -> std::string;
379
381auto to_string(Stm const &stm) -> std::string;
382
384
385} // namespace CppClingo::Input
CppClingo::Input::BdLitAggregateElement
A body aggregate element.
Definition body_literal.hh:49
CppClingo::Input::BdLitAggregate
A body aggregate.
Definition body_literal.hh:78
CppClingo::Input::BdLitConjunction
A conditional literal in a rule body.
Definition body_literal.hh:32
CppClingo::Input::BdLitSimple
A single literal in a rule body.
Definition body_literal.hh:15
CppClingo::Input::CondLit
A conditional literal.
Definition literal.hh:135
CppClingo::Input::Edge
An directed edge.
Definition statement.hh:531
CppClingo::Input::HdLitAggregateElement
An element of a head aggregate.
Definition head_literal.hh:58
CppClingo::Input::HdLitAggregate
A head aggregate.
Definition head_literal.hh:90
CppClingo::Input::HdLitDisjunction
A disjunction of conditional literals.
Definition head_literal.hh:37
CppClingo::Input::HdLitSimple
A single literal in a rule head.
Definition head_literal.hh:15
CppClingo::Input::LitBool
Literal representing a Boolean constant.
Definition literal.hh:47
CppClingo::Input::LitComparison
Literal representing a relation literal.
Definition literal.hh:73
CppClingo::Input::LitSymbolic
Literal representing a symbolic literal.
Definition literal.hh:104
CppClingo::Input::OptimizeElement
An optimize element.
Definition statement.hh:254
CppClingo::Input::OptimizeTuple
The tuple of a minimize element.
Definition statement.hh:228
CppClingo::Input::Projection
Indicate a projected position.
Definition term.hh:51
CppClingo::Input::SetAggregateElement
An element of a set aggregate.
Definition aggregate.hh:46
CppClingo::Input::SetAggregate
A set aggregate.
Definition aggregate.hh:77
CppClingo::Input::StmComment
A comment.
Definition statement.hh:801
CppClingo::Input::StmConst
A const statement.
Definition statement.hh:728
CppClingo::Input::StmDefined
A defined statement.
Definition statement.hh:468
CppClingo::Input::StmEdge
An edge statement.
Definition statement.hh:554
CppClingo::Input::StmExternal
An external statement.
Definition statement.hh:502
CppClingo::Input::StmHeuristic
A heuristic statement.
Definition statement.hh:581
CppClingo::Input::StmInclude
An include statement.
Definition statement.hh:663
CppClingo::Input::StmOptimize
An optimization statement.
Definition statement.hh:279
CppClingo::Input::StmProgram
A program statement.
Definition statement.hh:690
CppClingo::Input::StmProjectSig
A project signature statement.
Definition statement.hh:437
CppClingo::Input::StmProject
A project statement.
Definition statement.hh:410
CppClingo::Input::StmRule
A rule.
Definition statement.hh:16
CppClingo::Input::StmScript
A script statement.
Definition statement.hh:629
CppClingo::Input::StmShowSig
A show signature statement.
Definition statement.hh:361
CppClingo::Input::StmShow
A show statement.
Definition statement.hh:334
CppClingo::Input::StmTheory
A theory definition.
Definition statement.hh:193
CppClingo::Input::StmWeakConstraint
A weak constraint.
Definition statement.hh:306
CppClingo::Input::TermAbs
Term representing the absolute function.
Definition term.hh:200
CppClingo::Input::TermBinary
Term representing a binary operation.
Definition term.hh:274
CppClingo::Input::TermFunction
Term representing a symbolic or external function.
Definition term.hh:167
CppClingo::Input::TermSymbol
Term representing a symbol.
Definition term.hh:120
CppClingo::Input::TermTuple
Term representing a tuple.
Definition term.hh:146
CppClingo::Input::TermUnary
Term representing an unary operation.
Definition term.hh:234
CppClingo::Input::TermVariable
Term representing a variable.
Definition term.hh:92
CppClingo::Input::TheoryAtomDefinition
A theory atom definition.
Definition statement.hh:151
CppClingo::Input::TheoryAtom
A theory atom.
Definition theory.hh:239
CppClingo::Input::TheoryElement
An element of the theory atom.
Definition theory.hh:208
CppClingo::Input::TheoryOpDefinition
A theory operator definition.
Definition statement.hh:52
CppClingo::Input::TheoryRGuardDefinition
An optional definition for the right-hand-side of a theory atom.
Definition statement.hh:127
CppClingo::Input::TheoryTermDefinition
A theory term definition.
Definition statement.hh:86
CppClingo::Input::TheoryTermFunction
A theory term function.
Definition theory.hh:107
CppClingo::Input::TheoryTermSymbol
A symbolic theory term.
Definition theory.hh:29
CppClingo::Input::TheoryTermTuple
A tuple (set or list) theory term.
Definition theory.hh:80
CppClingo::Input::TheoryTermUnparsed
An unparsed theory term.
Definition theory.hh:145
CppClingo::Input::TheoryTermVariable
A variable theory term.
Definition theory.hh:52
CppClingo::Util::OutputBuffer
Create an output buffer that bears some similarities with C++'s iostreams.
Definition print.hh:24
CppClingo::Input::BdLit
std::variant< BdLitSimple, BdLitConjunction, BdLitAggregate, BdLitSetAggregate, BdLitTheoryAtom > BdLit
A body literal.
Definition body_literal.hh:116
CppClingo::Input::HdLit
std::variant< HdLitSimple, HdLitDisjunction, HdLitAggregate, HdLitSetAggregate, HdLitTheoryAtom > HdLit
A head literal.
Definition head_literal.hh:130
CppClingo::Input::Lit
std::variant< LitBool, LitComparison, LitSymbolic > Lit
Variant holding the different literal types.
Definition literal.hh:129
CppClingo::Input::to_string
auto to_string(Term const &term) -> std::string
Convert the given term into a string.
CppClingo::Input::operator<<
auto operator<<(std::ostream &out, UnaryOperator op) -> std::ostream &
Output the given unary operator.
CppClingo::Input::Stm
std::variant< StmRule, StmTheory, StmOptimize, StmWeakConstraint, StmShow, StmShowNothing, StmShowSig, StmProject, StmProjectSig, StmDefined, StmExternal, StmEdge, StmHeuristic, StmScript, StmInclude, StmProgram, StmConst, StmParts, StmComment > Stm
Variant of available statements.
Definition statement.hh:828
CppClingo::Input::Term
std::variant< TermVariable, TermSymbol, TermTuple, TermFunction, TermAbs, TermUnary, TermBinary > Term
Variant holding the different term types.
Definition term.hh:45
CppClingo::Input::BinaryOperator
BinaryOperator
Enumeration of available binary operators.
Definition term.hh:258
CppClingo::Input::UnaryOperator
UnaryOperator
Enumeration of available unary operators.
Definition term.hh:226
CppClingo::Input::TheoryTerm
std::variant< TheoryTermSymbol, TheoryTermVariable, TheoryTermTuple, TheoryTermFunction, TheoryTermUnparsed > TheoryTerm
A variant for the different theory terms.
Definition theory.hh:22