Struct TreeAdditiveCostModel 

pub struct TreeAdditiveCostModel {}

A cost model that computes the cost by summing the cost of each node.

Trait Implementations

impl Clone for TreeAdditiveCostModel

fn clone(&self) -> TreeAdditiveCostModel

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl CostModel<u64> for TreeAdditiveCostModel

fn fold( &self, _head: &str, children_cost: &[DefaultCost], head_cost: DefaultCost, ) -> DefaultCost

The total cost of a term given the cost of the root e-node and its immediate children’s total costs.

fn enode_cost( &self, egraph: &EGraph, func: &Function, _enode: &Enode<'_>, ) -> DefaultCost

The cost of an enode (without the cost of children)

fn container_cost( &self, egraph: &EGraph, sort: &ArcSort, value: Value, element_costs: &[C], ) -> C

The cost of a container value given the costs of its elements.

fn base_value_cost(&self, egraph: &EGraph, sort: &ArcSort, value: Value) -> C

Compute the cost of a (non-container) primitive value.

impl Default for TreeAdditiveCostModel

fn default() -> TreeAdditiveCostModel

Returns the “default value” for a type.