Check

Additional syntax checks. More...

Functions
auto	CppClingo::Input::check_term (Logger &log, Term const &term) -> bool
	Check a term.
auto	CppClingo::Input::check_literal (Logger &log, Lit const &lit) -> bool
	Check a literal.
auto	CppClingo::Input::check_head_literal (Logger &log, HdLit const &lit) -> bool
	Check a head literal.
auto	CppClingo::Input::check_body_literal (Logger &log, BdLit const &lit) -> bool
	Check a body literal.
auto	CppClingo::Input::check_statement (Logger &log, Stm const &stm) -> bool
	Check a statement.

Detailed Description

Additional syntax checks.