Struct Predicate 

pub struct Predicate {
    pub name: String,
    pub params: Vec<String>,
    pub main: Graph,
    pub exact: Option<Graph>,
    pub position: Position,
    pub exact_position: Option<Position>,
}

A predicate read from a definition file.

Fields

name: String

Name of the function.

params: Vec<String>

Names of the point parameters, in order.

main: Graph

The main form of the polynomial.

exact: Option<Graph>

The form marked #[exact], if the file has one.

position: Position

Position of the name of the main form.

exact_position: Option<Position>

Position of the name of the exact form, if there is one.

Trait Implementations

impl Clone for Predicate

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Predicate

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

Formats the value using the given formatter.

impl Eq for Predicate

impl PartialEq for Predicate

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Predicate