Struct Pc

pub struct Pc {
    pub x: Operand,
    pub y: Operand,
}

A path condition.

Expresses the fact that x must equal y for the replacement to be valid.

Fields

x: Operand

A value that must be equal to y for the replacement to be valid.

y: Operand

A value that must be equal to x for the replacement to be valid.

Trait Implementations

impl Clone for Pc

fn clone(&self) -> Pc

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Pc

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

Formats the value using the given formatter.

impl From<Pc> for Statement

fn from(pc: Pc) -> Self

Converts to this type from the input type.

impl Parse for Pc

fn parse<'a>(parser: &mut Parser<'a>) -> Result<Self>

Parse a Self from the given buffer.

impl Peek for Pc

fn peek<'a>(parser: &mut Parser<'a>) -> Result<bool>

Does it look like we can parse a Self from the given buffer?