Enum Statement 

pub enum Statement {
    Expr(Expr),
    LocalField {
        field_type: Vec<String>,
        fields: Vec<(String, Option<Expr>)>,
    },
    Assign {
        name: Vec<String>,
        value: Expr,
    },
    ForAll {
        var_type: Vec<String>,
        var_name: String,
        statements: Vec<Statement>,
    },
    Disjunction {
        disjuncts: Vec<(Vec<Statement>, Expr)>,
    },
    Formula {
        is_fact: bool,
        name: String,
        tau: Vec<String>,
        predicate_name: String,
        args: Vec<(String, Expr)>,
    },
    Return {
        value: Expr,
    },
}

Variants

Expr(Expr)

LocalField

Fields

field_type: Vec<String>

fields: Vec<(String, Option<Expr>)>

Assign

Fields

name: Vec<String>

value: Expr

ForAll

Fields

var_type: Vec<String>

var_name: String

statements: Vec<Statement>

Disjunction

Fields

disjuncts: Vec<(Vec<Statement>, Expr)>

Formula

Fields

is_fact: bool

name: String

tau: Vec<String>

predicate_name: String

args: Vec<(String, Expr)>

Return

Fields

value: Expr

Trait Implementations

impl Clone for Statement

fn clone(&self) -> Statement

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Statement

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

Formats the value using the given formatter.

impl Display for Statement

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

Formats the value using the given formatter.

impl PartialEq for Statement

fn eq(&self, other: &Statement) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for Statement