Clingo
Loading...
Searching...
No Matches
CppClingo::Input::DependencyBuilder Class Referenceabstract

Interface to process a rewritten and analyzed input program. More...

#include <program.hh>

Public Member Functions

virtual ~DependencyBuilder ()=default
 Default destructor.
 
void param (ProgramParam const &param)
 Add parts to ground.
 
void meta (std::vector< Stm > const &stms)
 Add meta statements.
 
void fact (std::vector< Symbol > const &facts)
 Add facts.
 
auto components (Components const &comps) -> bool
 Add components.
 

Detailed Description

Interface to process a rewritten and analyzed input program.


The documentation for this class was generated from the following file: