preprocessor/c-api/check__syntax_8hh_source.html

#pragma once


#include <clingo/input/statement.hh>


#include <clingo/core/logger.hh>


namespace CppClingo::Input {


auto check_term(Logger &log, Term const &term) -> bool;

auto check_literal(Logger &log, Lit const &lit) -> bool;

auto check_head_literal(Logger &log, HdLit const &lit) -> bool;

auto check_body_literal(Logger &log, BdLit const &lit) -> bool;

auto check_statement(Logger &log, Stm const &stm) -> bool;


} // namespace CppClingo::Input

CppClingo::Logger
Simple logger to report message to stderr or via a callback.
Definition logger.hh:63

CppClingo::Input::BdLit
std::variant< BdLitSimple, BdLitConjunction, BdLitAggregate, BdLitSetAggregate, BdLitTheoryAtom > BdLit
A body literal.
Definition body_literal.hh:116

CppClingo::Input::check_body_literal
auto check_body_literal(Logger &log, BdLit const &lit) -> bool
Check a body literal.

CppClingo::Input::check_literal
auto check_literal(Logger &log, Lit const &lit) -> bool
Check a literal.

CppClingo::Input::check_head_literal
auto check_head_literal(Logger &log, HdLit const &lit) -> bool
Check a head literal.

CppClingo::Input::check_statement
auto check_statement(Logger &log, Stm const &stm) -> bool
Check a statement.

CppClingo::Input::check_term
auto check_term(Logger &log, Term const &term) -> bool
Check a term.

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::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