Struct clingo::ProgramBuilder

pub struct ProgramBuilder<'a> { /* fields omitted */ }

Object to build non-ground programs.

Methods

impl<'a> ProgramBuilder<'a>

pub fn add<T>(&mut self, stm: &AstStatement<T>) -> Result<(), ClingoError>

Adds a statement to the program.

Attention: The end() must be called after all statements have been added.

Arguments

• statement - the statement to add

Errors

• ErrorType::Runtime for statements of invalid form
• ErrorType::BadAlloc

pub fn end(self) -> Option<()>

End building a program. The method consumes the program builder.

Trait Implementations