Struct clingo::defaults::Non

pub struct Non;

Default implementation for Logger, Propagator, GroundProgramObserver, FunctionHandler and SolveEventHandler

Trait Implementations

impl Clone for Non

fn clone(&self) -> Non

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Non

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl FunctionHandler for Non

fn on_external_function( &mut self, _location: &Location, _name: &str, _arguments: &[Symbol] ) -> Result<Vec<Symbol>, ExternalError>

Callback function to implement external functions.

impl GroundProgramObserver for Non

fn init_program(&mut self, _incremental: bool) -> bool

Called once in the beginning.

fn begin_step(&mut self) -> bool

Marks the beginning of a block of directives passed to the solver.

fn end_step(&mut self) -> bool

Marks the end of a block of directives passed to the solver.

fn rule( &mut self, _choice: bool, _head: &[Atom], _body: &[SolverLiteral] ) -> bool

Observe rules passed to the solver.

fn weight_rule( &mut self, _choice: bool, _head: &[Atom], _lower_bound: i32, _body: &[WeightedLiteral] ) -> bool

Observe weight rules passed to the solver.

fn minimize(&mut self, _priority: i32, _literals: &[WeightedLiteral]) -> bool

Observe minimize constraints (or weak constraints) passed to the solver.

fn project(&mut self, _atoms: &[Atom]) -> bool

Observe projection directives passed to the solver.

fn output_atom(&mut self, _symbol: Symbol, _atom: Atom) -> bool

Observe shown atoms passed to the solver.

fn output_term(&mut self, _symbol: Symbol, _condition: &[SolverLiteral]) -> bool

Observe shown terms passed to the solver.

fn output_csp( &mut self, _symbol: Symbol, _value: i32, _condition: &[SolverLiteral] ) -> bool

Observe shown csp variables passed to the solver.

fn external(&mut self, _atom: Atom, _type_: ExternalType) -> bool

Observe external statements passed to the solver.

fn assume(&mut self, _literals: &[SolverLiteral]) -> bool

Observe assumption directives passed to the solver.

fn heuristic( &mut self, _atom: Atom, _type_: HeuristicType, _bias: i32, _priority: u32, _condition: &[SolverLiteral] ) -> bool

Observe heuristic directives passed to the solver.

fn acyc_edge( &mut self, _node_u: i32, _node_v: i32, _condition: &[SolverLiteral] ) -> bool

Observe edge directives passed to the solver.

fn theory_term_number(&mut self, _term_id: Id, _number: i32) -> bool

Observe numeric theory terms.

fn theory_term_string(&mut self, _term_id: Id, _name: &str) -> bool

Observe string theory terms.

fn theory_term_compound( &mut self, _term_id: Id, _name_id_or_type: i32, _arguments: &[Id] ) -> bool

Observe compound theory terms.

fn theory_element( &mut self, _element_id: Id, _terms: &[Id], _condition: &[SolverLiteral] ) -> bool

Observe theory elements.

fn theory_atom( &mut self, _atom_id_or_zero: Id, _term_id: Id, _elements: &[Id] ) -> bool

Observe theory atoms without guard.

fn theory_atom_with_guard( &mut self, _atom_id_or_zero: Id, _term_id: Id, _elements: &[Id], _operator_id: Id, _right_hand_side_id: Id ) -> bool

Observe theory atoms with guard.

impl Logger for Non

fn log(&mut self, code: Warning, message: &str)

Callback to intercept warning messages.

impl Propagator for Non

fn init(&mut self, _init: &mut PropagateInit) -> bool

This function is called once before each solving step. It is used to map relevant program literals to solver literals, add watches for solver literals, and initialize the data structures used during propagation.

fn propagate( &mut self, _control: &mut PropagateControl, _changes: &[SolverLiteral] ) -> bool

Can be used to propagate solver literals given a partial assignment Assignment.

fn undo(&mut self, _control: &mut PropagateControl, _changes: &[SolverLiteral])

Called whenever a solver undoes assignments to watched solver literals.

fn check(&mut self, _control: &mut PropagateControl) -> bool

This function is similar to PropagateControl::propagate() but is only called on total assignments without a change set.

fn decide( &mut self, _thread_id: Id, _assignment: &Assignment, _fallback: SolverLiteral, _decision: &mut SolverLiteral ) -> bool

This function allows a propagator to implement domain-specific heuristics.

impl SolveEventHandler for Non

fn on_solve_event(&mut self, _event: SolveEvent<'_>, _goon: &mut bool) -> bool

Callback function called during search to notify when the search is finished or a model is ready

impl Copy for Non