Struct hotdrink_rs::model::Method

pub struct Method<T> { /* fields omitted */ }

A method for enforcing a Constraint. It usually has a set of input-variables, a set of output-variables, and a function for creating the outputs from the inputs.

Trait Implementations

impl<T> Clone for Method<T>

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T> Debug for Method<T>

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

Formats the value using the given formatter.

impl<T> Eq for Method<T>

impl<T> MethodSpec for Method<T>

type Arg = T

The input and output type of the method.

fn new(
    name: String,
    inputs: Vec<usize>,
    outputs: Vec<usize>,
    apply: MethodFunction<T>
) -> Self

Constructs a new MethodSpec with the specified name, inputs, outputs, and function.

fn apply(&self, input: Vec<Arc<T>>) -> MethodResult<Arc<T>>

Apply the inner function of this method

fn name(&self) -> &str

Returns a reference to the name of the method.

impl<T> PartialEq<Method<T>> for Method<T>

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

This method tests for self and other values to be equal, and is used by ==.

#[must_use]pub fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl<T> Vertex for Method<T>

fn inputs(&self) -> &[usize]

Get the indices of the inputs to this method

fn outputs(&self) -> &[usize]

Get the indices of the outputs to this method

fn stay(index: usize) -> Self

Creates a vertex that reads and writes to the same index. That is, if we create a vertex v = stay(3), its only input is 3, and its only output is 3.

fn is_stay(&self) -> bool

Returns true if the vertex reads from and writes to the same index.

fn n_inputs(&self) -> usize

Returns the number of inputs of this vertex.

fn n_outputs(&self) -> usize

Returns the number of outputs of this vertex.