Struct AtomNeq 

pub struct AtomNeq {
    pub lhs: Ref<MechAtom>,
    pub rhs: Ref<MechAtom>,
    pub out: Ref<bool>,
}

Fields

lhs: Ref<MechAtom>

rhs: Ref<MechAtom>

out: Ref<bool>

Trait Implementations

impl Debug for AtomNeq

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

Formats the value using the given formatter.

impl MechFunctionCompiler for AtomNeq

Available on crate features atom and compiler only.

fn compile(&self, ctx: &mut CompileCtx) -> Result<u32, MechError2>

impl MechFunctionFactory for AtomNeq

fn new(args: FunctionArgs) -> Result<Box<dyn MechFunction>, MechError2>

impl MechFunctionImpl for AtomNeq

Available on crate feature atom only.

fn solve(&self)

fn out(&self) -> Value

fn to_string(&self) -> String