Struct AppearanceOrder 

pub struct AppearanceOrder;

Trivial variable order: variables in their first-appearance order across the body. Already the construction order produced by HypergraphRule::from_rule, so this is just an IntoIterator over hg.vertex_ids().

Useful as the default order for tests, and as a baseline that future cost-aware implementations can be compared against.

Trait Implementations

impl Clone for AppearanceOrder

fn clone(&self) -> AppearanceOrder

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AppearanceOrder

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

Formats the value using the given formatter.

impl Default for AppearanceOrder

fn default() -> AppearanceOrder

Returns the “default value” for a type.

impl VariableOrder for AppearanceOrder

fn name(&self) -> &'static str

Stable identifier for this order’s strategy. Used by the explain output (e.g. "appearance", "selectivity-greedy").

fn order(&self, hg: &HypergraphRule) -> Vec<VertexId>

Compute the order. See trait-level contract for invariants.

impl Copy for AppearanceOrder