Module prelude

Module prelude 

Expand description

Public re-exported. use rapimt::prelude::*; to import common structs, traits, etc.

Modules§

constant
(codegen) Decide field names and bit positions.
ib
IO for InfiniBand networks.

Structs§

DefaultFibLoader
DefaultInstLoader
FastRuleMonitor
A rule store and IM generator of a device.
FieldMatch
FieldMatch contains the name and the condition of a match in a field.
InverseModel
Inverse Model maps actions to predicates.
MaskedValue
Ternary bit string representing an entire header match.
Multiple
Multiple means the action is multi-dimensional, e.g. a sequence of actions.
OxiddPredicateEngine
A predicate engine based on the oxidd library.
PortInfoBase
PortInfoBase stores the information of a device’s ports and neighbors.
Predicate
An Predicate is a logical condition that represents a header space.
RawRule
Match&action-unencoded rule of a device.
RuddyPredicateEngine
A predicate engine based on the Ruddy library.
Rule
Local rule of a device.
SeqAction
A sequence of actions. Optimize memory footprint when the action is valid in one dimension.
SimpleRuleStore
Single
Single means the action is one-dimensional, e.g., one forwarding action from a port.
TPTRuleStore
UncodedRule
Action-unencoded rule of a device.

Enums§

AclActionType
Error
FwdActionType
Match
Match condition for a field.
TypedAction
Typed, unencoded forwarding action.

Traits§

Action
Action trait represents an action of desired dimension. Use type parameter to distinguish the dimension of action.
ActionEncoder
Encoder and decoder between UncodedAction and CodedAction.
Actions
Container of multiple actions.
CodedAction
Encoded, compact and opaque action.
Dimension
An empty trait that represents the type of action.
FibLoader
Load fibs from default format.
InstanceLoader
Load instances from default format.
InverseModelMonoid
A monoid defined on the overwrite operator.
MatchEncoder
Parse field values and encodes them into a predicate.
PredicateEngine
An extended trait of MatchEncoder, which additionally enables serialization and deserialization of a predicate.
PredicateInner
Inner trait for Predicate.
RuleLike
RuleMonitorLike
Rule storage and IM generator.
RuleStore
Storage of rules.
UncodedAction
Unencoded action on a specific device.

Functions§

ipv4_to_match
Encode an IPv4 address with prefix into a ternary match.

Type Aliases§

MapInverseModel
VecInverseModel