Struct Disjunction 

pub struct Disjunction {
    pub branches: Vec<Goal>,
    pub pattern: String,
}

Represents a disjunction (OR) of goals

Fields

branches: Vec<Goal>

Alternative goals - at least one must succeed

pattern: String

Original pattern string

Implementations

impl Disjunction

pub fn new(branches: Vec<Goal>, pattern: String) -> Self

Create a new disjunction from a list of goals

pub fn from_pair(left: Goal, right: Goal) -> Self

Create a disjunction from two goals

pub fn add_branch(&mut self, goal: Goal)

Add another branch to this disjunction

pub fn branch_count(&self) -> usize

Get the number of branches

Trait Implementations

impl Clone for Disjunction

fn clone(&self) -> Disjunction

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Disjunction

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

Formats the value using the given formatter.