pub struct DpProblem {
    pub objective: DpObjective,
    pub handle_leaf_node: fn(graph: &HashMapGraph, id: usize, tables: &mut [DpTable], vertex: usize),
    pub handle_join_node: fn(graph: &HashMapGraph, id: usize, left_child_id: usize, right_child_id: usize, tables: &mut [DpTable], vertex_set: &FxHashSet<usize>),
    pub handle_forget_node: fn(graph: &HashMapGraph, id: usize, child_id: usize, tables: &mut [DpTable], vertex_set: &FxHashSet<usize>, forgotten_vertex: usize),
    pub handle_introduce_node: fn(graph: &HashMapGraph, id: usize, child_id: usize, tables: &mut [DpTable], vertex_set: &FxHashSet<usize>, child_vertex_set: &FxHashSet<usize>, introduced_vertex: usize),
}
Expand description

Contains the neccessary information for solving a (hard) problem using dynamic programming on tree decompositions.

Fields

objective: DpObjective

Indicates whether the problem is a maximization or minimization problem.

handle_leaf_node: fn(graph: &HashMapGraph, id: usize, tables: &mut [DpTable], vertex: usize)

Function for calculating the the table entries at a Leaf node.

handle_join_node: fn(graph: &HashMapGraph, id: usize, left_child_id: usize, right_child_id: usize, tables: &mut [DpTable], vertex_set: &FxHashSet<usize>)

Function for calculating the the table entries at a Join node.

handle_forget_node: fn(graph: &HashMapGraph, id: usize, child_id: usize, tables: &mut [DpTable], vertex_set: &FxHashSet<usize>, forgotten_vertex: usize)

Function for calculating the the table entries at a Forget node.

handle_introduce_node: fn(graph: &HashMapGraph, id: usize, child_id: usize, tables: &mut [DpTable], vertex_set: &FxHashSet<usize>, child_vertex_set: &FxHashSet<usize>, introduced_vertex: usize)

Function for calculating the the table entries at a Introduce node.

Implementations

Return a DpProblem instance for maximum independent set.

Return a DpProblem instance for minimum vertex cover.

Auto Trait Implementations

Blanket Implementations

Gets the TypeId of self. Read more
Immutably borrows from an owned value. Read more
Mutably borrows from an owned value. Read more
Converts self into T using Into<T>. Read more
Converts self into a target type. Read more
Causes self to use its Binary implementation when Debug-formatted.
Causes self to use its Display implementation when Debug-formatted. Read more
Causes self to use its LowerExp implementation when Debug-formatted. Read more
Causes self to use its LowerHex implementation when Debug-formatted. Read more
Causes self to use its Octal implementation when Debug-formatted.
Causes self to use its Pointer implementation when Debug-formatted. Read more
Causes self to use its UpperExp implementation when Debug-formatted. Read more
Causes self to use its UpperHex implementation when Debug-formatted. Read more
Causes self to use its Binary implementation when Debug-formatted.
Causes self to use its Display implementation when Debug-formatted. Read more
Causes self to use its LowerExp implementation when Debug-formatted. Read more
Causes self to use its LowerHex implementation when Debug-formatted. Read more
Causes self to use its Octal implementation when Debug-formatted.
Causes self to use its Pointer implementation when Debug-formatted. Read more
Causes self to use its UpperExp implementation when Debug-formatted. Read more
Causes self to use its UpperHex implementation when Debug-formatted. Read more
Formats each item in a sequence. Read more

Returns the argument unchanged.

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Pipes by value. This is generally the method you want to use. Read more
Borrows self and passes that borrow into the pipe function. Read more
Mutably borrows self and passes that borrow into the pipe function. Read more
Borrows self, then passes self.borrow() into the pipe function. Read more
Mutably borrows self, then passes self.borrow_mut() into the pipe function. Read more
Borrows self, then passes self.as_ref() into the pipe function.
Mutably borrows self, then passes self.as_mut() into the pipe function. Read more
Borrows self, then passes self.deref() into the pipe function.
Mutably borrows self, then passes self.deref_mut() into the pipe function. Read more
Pipes a value into a function that cannot ordinarily be called in suffix position. Read more
Pipes a trait borrow into a function that cannot normally be called in suffix position. Read more
Pipes a trait mutable borrow into a function that cannot normally be called in suffix position. Read more
Pipes a trait borrow into a function that cannot normally be called in suffix position. Read more
Pipes a trait mutable borrow into a function that cannot normally be called in suffix position. Read more
Pipes a dereference into a function that cannot normally be called in suffix position. Read more
Pipes a mutable dereference into a function that cannot normally be called in suffix position. Read more
Pipes a reference into a function that cannot ordinarily be called in suffix position. Read more
Pipes a mutable reference into a function that cannot ordinarily be called in suffix position. Read more
Immutable access to a value. Read more
Mutable access to a value. Read more
Immutable access to the Borrow<B> of a value. Read more
Mutable access to the BorrowMut<B> of a value. Read more
Immutable access to the AsRef<R> view of a value. Read more
Mutable access to the AsMut<R> view of a value. Read more
Immutable access to the Deref::Target of a value. Read more
Mutable access to the Deref::Target of a value. Read more
Calls .tap() only in debug builds, and is erased in release builds.
Calls .tap_mut() only in debug builds, and is erased in release builds. Read more
Calls .tap_borrow() only in debug builds, and is erased in release builds. Read more
Calls .tap_borrow_mut() only in debug builds, and is erased in release builds. Read more
Calls .tap_ref() only in debug builds, and is erased in release builds. Read more
Calls .tap_ref_mut() only in debug builds, and is erased in release builds. Read more
Calls .tap_deref() only in debug builds, and is erased in release builds. Read more
Calls .tap_deref_mut() only in debug builds, and is erased in release builds. Read more
Provides immutable access for inspection. Read more
Calls tap in debug builds, and does nothing in release builds.
Provides mutable access for modification. Read more
Calls tap_mut in debug builds, and does nothing in release builds.
Provides immutable access to the reference for inspection.
Calls tap_ref in debug builds, and does nothing in release builds.
Provides mutable access to the reference for modification.
Calls tap_ref_mut in debug builds, and does nothing in release builds.
Provides immutable access to the borrow for inspection. Read more
Calls tap_borrow in debug builds, and does nothing in release builds.
Provides mutable access to the borrow for modification.
Calls tap_borrow_mut in debug builds, and does nothing in release builds. Read more
Immutably dereferences self for inspection.
Calls tap_deref in debug builds, and does nothing in release builds.
Mutably dereferences self for modification.
Calls tap_deref_mut in debug builds, and does nothing in release builds. Read more
Attempts to convert self into T using TryInto<T>. Read more
Attempts to convert self into a target type. Read more
The type returned in the event of a conversion error.
Performs the conversion.
The type returned in the event of a conversion error.
Performs the conversion.