Struct OxiddPredicateEngine 

pub struct OxiddPredicateEngine {
    pub manager_ref: BDDManagerRef,
    pub dip_varset_pair: (BDDFunction, BDDFunction),
    pub sip_varset_pair: (BDDFunction, BDDFunction),
    pub dport_varset_pair: (BDDFunction, BDDFunction),
    pub sport_varset_pair: (BDDFunction, BDDFunction),
    pub tag_varset_pair: (BDDFunction, BDDFunction),
    pub lid_varset_pair: (BDDFunction, BDDFunction),
    /* private fields */
}

A predicate engine based on the oxidd library.

Fields

manager_ref: BDDManagerRef

dip_varset_pair: (BDDFunction, BDDFunction)

sip_varset_pair: (BDDFunction, BDDFunction)

dport_varset_pair: (BDDFunction, BDDFunction)

sport_varset_pair: (BDDFunction, BDDFunction)

tag_varset_pair: (BDDFunction, BDDFunction)

lid_varset_pair: (BDDFunction, BDDFunction)

Implementations

impl OxiddPredicateEngine

pub fn init(node_num: usize, cache_size: usize) -> OxiddPredicateEngine

Initialize the OxiddPredicateEngine with the given node_num, cache_size and family. As to the concrete number of these parameters, node_num does not need to be very large, it will grow inside automatically when needed. Cache_size grows along with node_num, but be aware that the ratio cache_size / node_num is fixed while growing. So choose a good ratio is more important.

Recommendation

For recommendation, call init(1000, 100, family) to start with.

Trait Implementations

impl Default for OxiddPredicateEngine

fn default() -> OxiddPredicateEngine

Returns the “default value” for a type.

impl<'a> MatchEncoder<'a> for OxiddPredicateEngine

type P = OxiddPredicate<'a>

fn gc(&self) -> usize

fn one(&'a self) -> Predicate<<OxiddPredicateEngine as MatchEncoder<'a>>::P>

fn zero(&'a self) -> Predicate<<OxiddPredicateEngine as MatchEncoder<'a>>::P>

fn _encode<U>( &'a self, value: U, mask: U, from: usize, to: usize, ) -> Predicate<<OxiddPredicateEngine as MatchEncoder<'a>>::P>

where U: Unsigned,

fn encode_match<U>( &'a self, fm: FieldMatch<'_, U>, ) -> (Predicate<Self::P>, Vec<MaskedValue>)

where U: Unsigned,

fn encode_match_wo_mv<U>(&'a self, fm: FieldMatch<'_, U>) -> Predicate<Self::P>

where U: Unsigned,

fn encode_matches<'b, U, II>( &'a self, fms: II, ) -> (Predicate<Self::P>, Vec<MaskedValue>)

where U: Unsigned, II: IntoIterator<Item = &'b FieldMatch<'b, U>>,

impl<'a> PredicateEngine<'a> for OxiddPredicateEngine

fn read_buffer( &'a self, _buffer: &[u8], ) -> Result<Predicate<<OxiddPredicateEngine as MatchEncoder<'a>>::P>, Error>

Deserialize a predicate according to the buffer.

fn write_buffer( &'a self, _pred: &Predicate<<OxiddPredicateEngine as MatchEncoder<'a>>::P>, _buffer: &mut Vec<u8>, ) -> Result<(), Error>

Serialize the predicate to the buffer.

fn rewrite_dip( &'a self, before: &Predicate<<OxiddPredicateEngine as MatchEncoder<'a>>::P>, m: Match<u32>, ) -> Predicate<<OxiddPredicateEngine as MatchEncoder<'a>>::P>

fn erase_dip( &'a self, before: &Predicate<<OxiddPredicateEngine as MatchEncoder<'a>>::P>, ) -> Predicate<<OxiddPredicateEngine as MatchEncoder<'a>>::P>

fn erase_except_dip( &'a self, before: &Predicate<<OxiddPredicateEngine as MatchEncoder<'a>>::P>, ) -> Predicate<<OxiddPredicateEngine as MatchEncoder<'a>>::P>

fn rewrite_sip( &'a self, before: &Predicate<<OxiddPredicateEngine as MatchEncoder<'a>>::P>, m: Match<u32>, ) -> Predicate<<OxiddPredicateEngine as MatchEncoder<'a>>::P>

fn erase_sip( &'a self, before: &Predicate<<OxiddPredicateEngine as MatchEncoder<'a>>::P>, ) -> Predicate<<OxiddPredicateEngine as MatchEncoder<'a>>::P>

fn erase_except_sip( &'a self, before: &Predicate<<OxiddPredicateEngine as MatchEncoder<'a>>::P>, ) -> Predicate<<OxiddPredicateEngine as MatchEncoder<'a>>::P>

fn rewrite_dport( &'a self, before: &Predicate<<OxiddPredicateEngine as MatchEncoder<'a>>::P>, m: Match<u16>, ) -> Predicate<<OxiddPredicateEngine as MatchEncoder<'a>>::P>

fn erase_dport( &'a self, before: &Predicate<<OxiddPredicateEngine as MatchEncoder<'a>>::P>, ) -> Predicate<<OxiddPredicateEngine as MatchEncoder<'a>>::P>

fn erase_except_dport( &'a self, before: &Predicate<<OxiddPredicateEngine as MatchEncoder<'a>>::P>, ) -> Predicate<<OxiddPredicateEngine as MatchEncoder<'a>>::P>

fn rewrite_sport( &'a self, before: &Predicate<<OxiddPredicateEngine as MatchEncoder<'a>>::P>, m: Match<u16>, ) -> Predicate<<OxiddPredicateEngine as MatchEncoder<'a>>::P>

fn erase_sport( &'a self, before: &Predicate<<OxiddPredicateEngine as MatchEncoder<'a>>::P>, ) -> Predicate<<OxiddPredicateEngine as MatchEncoder<'a>>::P>

fn erase_except_sport( &'a self, before: &Predicate<<OxiddPredicateEngine as MatchEncoder<'a>>::P>, ) -> Predicate<<OxiddPredicateEngine as MatchEncoder<'a>>::P>

fn rewrite_tag( &'a self, before: &Predicate<<OxiddPredicateEngine as MatchEncoder<'a>>::P>, m: Match<u16>, ) -> Predicate<<OxiddPredicateEngine as MatchEncoder<'a>>::P>

fn erase_tag( &'a self, before: &Predicate<<OxiddPredicateEngine as MatchEncoder<'a>>::P>, ) -> Predicate<<OxiddPredicateEngine as MatchEncoder<'a>>::P>

fn erase_except_tag( &'a self, before: &Predicate<<OxiddPredicateEngine as MatchEncoder<'a>>::P>, ) -> Predicate<<OxiddPredicateEngine as MatchEncoder<'a>>::P>