Struct FactorizedSchema 

pub struct FactorizedSchema { /* private fields */ }

Output schema with factorization structure.

Tracks flat/unflat groups and which expression belongs to which group. Enforces the invariant that at most one group is unflat at any time.

Implementations

impl FactorizedSchema

pub fn new() -> Self

pub fn num_groups(&self) -> usize

pub fn groups(&self) -> &[FactorizationGroup]

pub fn groups_mut(&mut self) -> &mut Vec<FactorizationGroup>

pub fn get_group(&self, pos: FGroupPos) -> Option<&FactorizationGroup>

pub fn get_group_mut( &mut self, pos: FGroupPos, ) -> Option<&mut FactorizationGroup>

pub fn get_group_by_expression( &self, expr_id: &ExpressionId, ) -> Option<&FactorizationGroup>

pub fn create_group(&mut self) -> FGroupPos

pub fn create_flat_group(&mut self, single_state: bool) -> FGroupPos

pub fn insert_to_scope( &mut self, expr_id: ExpressionId, group_pos: FGroupPos, ) -> Result<(), FactorizationError>

pub fn insert_to_scope_with_name( &mut self, expr_id: ExpressionId, name: String, group_pos: FGroupPos, ) -> Result<(), FactorizationError>

pub fn insert_to_group_and_scope( &mut self, expr_id: ExpressionId, group_pos: FGroupPos, ) -> Result<(), FactorizationError>

pub fn insert_to_group_and_scope_with_name( &mut self, expr_id: ExpressionId, name: Option<String>, group_pos: FGroupPos, ) -> Result<(), FactorizationError>

pub fn insert_to_group_and_scope_batch( &mut self, exprs: Vec<ExpressionId>, group_pos: FGroupPos, ) -> Result<(), FactorizationError>

pub fn insert_to_scope_may_repeat( &mut self, expr_id: ExpressionId, group_pos: FGroupPos, ) -> Result<(), FactorizationError>

pub fn insert_to_group_and_scope_may_repeat( &mut self, expr_id: ExpressionId, group_pos: FGroupPos, ) -> Result<(), FactorizationError>

pub fn get_group_pos(&self, expr_id: &ExpressionId) -> Option<FGroupPos>

pub fn get_group_pos_by_name_opt(&self, name: &str) -> Option<FGroupPos>

pub fn expression_name(&self, expr_id: &ExpressionId) -> Option<&str>

pub fn insert_name_for_group( &mut self, name: String, group_pos: FGroupPos, ) -> Result<(), FactorizationError>

pub fn resolve_group_pos( &self, expr_id: Option<&ExpressionId>, name: Option<&str>, ) -> Option<FGroupPos>

pub fn member_names(&self, group_pos: FGroupPos) -> Vec<String>

pub fn get_expression_pos( &self, expr_id: &ExpressionId, ) -> Option<(FGroupPos, usize)>

pub fn flatten_group( &mut self, pos: FGroupPos, ) -> Result<(), FactorizationError>

pub fn flatten_all(&mut self) -> Result<(), FactorizationError>

pub fn set_group_as_single_state( &mut self, pos: FGroupPos, ) -> Result<(), FactorizationError>

pub fn is_expression_in_scope(&self, expr_id: &ExpressionId) -> bool

pub fn expressions_in_scope(&self) -> &HashSet<ExpressionId>

pub fn expressions_in_scope_for_group( &self, pos: FGroupPos, ) -> Vec<ExpressionId>

pub fn evaluable(&self, expr_id: &ExpressionId) -> bool

pub fn clear_expressions_in_scope(&mut self)

pub fn groups_pos_in_scope(&self) -> HashSet<FGroupPos>

pub fn copy(&self) -> Self

pub fn clear(&mut self)

pub fn has_unflat_group(&self) -> bool

pub fn unflat_group_pos(&self) -> Option<FGroupPos>

pub fn validate_at_most_one_unflat(&self) -> Result<(), FactorizationError>

pub fn has_at_most_one_unflat(&self) -> bool

pub fn is_flat_schema(&self) -> bool

pub fn flat_copy(&self) -> Result<Self, FactorizationError>

pub fn merge_groups_from( &mut self, other: &FactorizedSchema, ) -> HashMap<FGroupPos, FGroupPos>

pub fn expression_to_group_iter( &self, ) -> impl Iterator<Item = (&ExpressionId, &FGroupPos)>

pub fn expression_name_to_group_iter( &self, ) -> impl Iterator<Item = (&String, &FGroupPos)>

Trait Implementations

impl Clone for FactorizedSchema

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FactorizedSchema

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

Formats the value using the given formatter.

impl Default for FactorizedSchema

fn default() -> Self

Returns the “default value” for a type.