Struct Var 

pub struct Var<O, A> {
    pub state: Rc<RefCell<OpenHypergraph<O, A>>>,
    pub edge_id: EdgeId,
    pub label: O,
}

Fields

state: Rc<RefCell<OpenHypergraph<O, A>>>

edge_id: EdgeId

label: O

Implementations

impl<O: Clone, A: HasVar> Var<O, A>

Vars can be created when the set of edge labels has a ‘Copy’ operation.

pub fn new( state: Rc<RefCell<OpenHypergraph<O, A>>>, default_node_label: O, ) -> Self

pub fn new_source(&self) -> NodeId

Create a new source node of this Var

pub fn new_target(&self) -> NodeId

Create a new target node of this Var

Trait Implementations

impl<O: Clone, A: HasVar + HasAdd<O, A>> Add for Var<O, A>

type Output = Var<O, A>

The resulting type after applying the + operator.

fn add(self, rhs: Self) -> Self::Output

Performs the + operation.

impl<O: Clone, A: HasVar + HasBitAnd<O, A>> BitAnd for Var<O, A>

type Output = Var<O, A>

The resulting type after applying the & operator.

fn bitand(self, rhs: Self) -> Self::Output

Performs the & operation.

impl<O: Clone, A: HasVar + HasBitOr<O, A>> BitOr for Var<O, A>

type Output = Var<O, A>

The resulting type after applying the | operator.

fn bitor(self, rhs: Self) -> Self::Output

Performs the | operation.

impl<O: Clone, A: HasVar + HasBitXor<O, A>> BitXor for Var<O, A>

type Output = Var<O, A>

The resulting type after applying the ^ operator.

fn bitxor(self, rhs: Self) -> Self::Output

Performs the ^ operation.

impl<O: Clone, A: Clone> Clone for Var<O, A>

fn clone(&self) -> Var<O, A>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<O: Debug, A: Debug> Debug for Var<O, A>

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

Formats the value using the given formatter.

impl<O: Clone, A: HasVar + HasDiv<O, A>> Div for Var<O, A>

type Output = Var<O, A>

The resulting type after applying the / operator.

fn div(self, rhs: Self) -> Self::Output

Performs the / operation.

impl<O: Clone, A: HasVar + HasMul<O, A>> Mul for Var<O, A>

type Output = Var<O, A>

The resulting type after applying the * operator.

fn mul(self, rhs: Self) -> Self::Output

Performs the * operation.

impl<O: Clone, A: HasVar + HasNeg<O, A>> Neg for Var<O, A>

type Output = Var<O, A>

The resulting type after applying the - operator.

fn neg(self) -> Self::Output

Performs the unary - operation.

impl<O: Clone, A: HasVar + HasNot<O, A>> Not for Var<O, A>

type Output = Var<O, A>

The resulting type after applying the ! operator.

fn not(self) -> Self::Output

Performs the unary ! operation.

impl<O: Clone, A: HasVar + HasShl<O, A>> Shl for Var<O, A>

type Output = Var<O, A>

The resulting type after applying the << operator.

fn shl(self, rhs: Self) -> Self::Output

Performs the << operation.

impl<O: Clone, A: HasVar + HasShr<O, A>> Shr for Var<O, A>

type Output = Var<O, A>

The resulting type after applying the >> operator.

fn shr(self, rhs: Self) -> Self::Output

Performs the >> operation.

impl<O: Clone, A: HasVar + HasSub<O, A>> Sub for Var<O, A>

type Output = Var<O, A>

The resulting type after applying the - operator.

fn sub(self, rhs: Self) -> Self::Output

Performs the - operation.