Struct ValueKnowledge

pub struct ValueKnowledge { /* private fields */ }

Implementations

impl ValueKnowledge

pub fn new() -> ValueKnowledge

pub fn set_reduces_to(&mut self, reduces_to: ValueReduction) -> bool

Sets the value of the node. Returns true on the first update.

pub fn get_reduces_to(&self) -> Option<&ValueReduction>

Gets the value of the node. Returns None if the value is unknown.

pub fn is_constant(&self) -> bool

Returns true if the value of the node is known.

pub fn is_boolean(&self) -> bool

Returns true if the value of the node is a boolean.

pub fn is_field_element(&self) -> bool

Returns true if the value of the node is a field element.

Trait Implementations

impl Clone for ValueKnowledge

fn clone(&self) -> ValueKnowledge

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Default for ValueKnowledge

fn default() -> ValueKnowledge

Returns the “default value” for a type.