Struct clingo::ClingoControl

pub struct ClingoControl(_);

Methods

impl ClingoControl

fn add(&mut self, name: &str, parameters: Vec<&str>, program: &str) -> bool

fn ground(
    &mut self,
    sparts: Vec<ClingoPart>,
    ground_callback: clingo_ground_callback_t,
    ground_callback_data: *mut c_void
) -> bool

fn solve(
    &mut self,
    mode: clingo_solve_mode_bitset_t,
    assumptions: Vec<clingo_symbolic_literal_t>,
    notify: clingo_solve_event_callback_t,
    data: *mut c_void
) -> Option<&mut ClingoSolveHandle>

fn register_propagator(
    &mut self,
    propagator: *const clingo_propagator_t,
    data: *mut c_void,
    sequential: bool
) -> bool

fn statistics(&mut self) -> Option<&mut ClingoStatistics>

fn configuration(&mut self) -> Option<&mut ClingoConfiguration>

fn symbolic_atoms(&mut self) -> Option<&mut ClingoSymbolicAtoms>

fn theory_atoms(&mut self) -> Option<&mut ClingoTheoryAtoms>

fn backend(&mut self) -> Option<&mut ClingoBackend>

Trait Implementations

impl Drop for ClingoControl

fn drop(&mut self)

A method called when the value goes out of scope.