Clingo::AST::Program Class Reference

A program to add statements to. More...

#include <ast.hh>

Public Member Functions
	Program (Library const &lib)
	Construct an empty program.
void	add (Node const &stm) const
	Add a statemente node to the program.

Friends
auto	c_cast (Program const &x) -> clingo_program_t *
	Convert the program to its underlying C representation.

Detailed Description

A program to add statements to.

Constructor & Destructor Documentation

Program()

Clingo::AST::Program::Program ( Library const &  lib )

inline

Construct an empty program.

Parameters

lib	a library to store symbols

Member Function Documentation

add()

void Clingo::AST::Program::add ( Node const &  stm ) const

inline

Add a statemente node to the program.

Parameters

stm	the statement to add

Friends And Related Symbol Documentation

c_cast

auto c_cast ( Program const &  x ) -> clingo_program_t *

friend

Convert the program to its underlying C representation.

Parameters

x	the prgoram

Returns

the C object

---

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

• clingo/ast.hh