Struct GenericNFAITLogger 

pub struct GenericNFAITLogger<Conf, Letter, BP>
where
    Conf: AbstractProcessConfiguration,
    Letter: AutLetter,
    BP: NFAITBuilderPrinter<Conf, Letter>,
{
    pub builder_printer: BP,
    /* private fields */
}

Fields

builder_printer: BP

Implementations

impl<Conf, Letter, BP> GenericNFAITLogger<Conf, Letter, BP>

where Conf: AbstractProcessConfiguration, Letter: AutLetter, BP: NFAITBuilderPrinter<Conf, Letter>,

pub fn new( builder_printer: BP, name: String, draw: Option<(bool, GraphVizOutputFormat)>, parent_folder: String, ) -> Self

pub fn get_nfait(&self) -> AutNFAIT<Letter>

Trait Implementations

impl<Conf, Letter, BP> AbstractProcessLogger<Conf> for GenericNFAITLogger<Conf, Letter, BP>

where Conf: AbstractProcessConfiguration + 'static, Letter: AutLetter + 'static, BP: NFAITBuilderPrinter<Conf, Letter> + 'static,

fn as_any(&self) -> &dyn Any

Used to downcast the abstract logger into any concrete type that implements it. *

fn log_initialize( &mut self, _context_and_param: &Conf::ContextAndParameterization, _strategy: &QueueSearchStrategy, _priorities: &GenericProcessPriorities<Conf::Priorities>, _filters_manager: &GenericFiltersManager<Conf>, _initial_global_state: &Conf::MutablePersistentState, _use_memoization: bool, )

Initializes the logger.

fn log_new_node( &mut self, context_and_param: &Conf::ContextAndParameterization, new_node_id: u32, new_node: &Conf::DomainSpecificNode, )

Notifies the logger that a new node has been encountered and added to the graph structure. *

fn log_new_step( &mut self, context_and_param: &Conf::ContextAndParameterization, origin_node_id: u32, step: &Conf::DomainSpecificStep, target_node_id: u32, _target_node: &Conf::DomainSpecificNode, )

Notifies the logger that a new step has been processed. This is done separately from “log_new_node” because processing a new step does not necessarily cause a new node to be added. Indeed, if memoization is used, it may cycle back to an already known node. *

fn log_notify_last_child_step_of_node_processed( &mut self, _context_and_param: &Conf::ContextAndParameterization, _parent_node_id: u32, )

Notifies the logger that all steps that could be fired from a given node have been processed. *

fn log_notify_node_without_children( &mut self, _context_and_param: &Conf::ContextAndParameterization, _node_id: u32, )

Notifies the logger that the given node does not have any children. Being notified of such terminal nodes is sometimes relevant. *

fn log_filtered( &mut self, _context_and_param: &Conf::ContextAndParameterization, _parent_node_id: u32, _filtration_result_id: u32, _filtration_result: &Conf::FiltrationResult, )

Notifies the logger that a filter has yielded a “FiltrationResult” and therefore prevented the exploration of parts of the graph structure that correspond to successors of a given node (here identified by “parent_node_id”). *

fn log_terminate_process( &mut self, _context_and_param: &Conf::ContextAndParameterization, _global_state: &Conf::MutablePersistentState, )

Notifies the logger that the process has terminated. Carries the information of the final global state. *