Struct VariationalInequality 

pub struct VariationalInequality {
    pub operator: String,
    pub domain: String,
}

A variational inequality: find x ∈ C such that ⟨F(x), y-x⟩ ≥ 0 for all y ∈ C.

Fields

operator: String

Name or description of the operator F.

domain: String

Domain/constraint set C.

Implementations

impl VariationalInequality

pub fn new(operator: impl Into<String>, domain: impl Into<String>) -> Self

Create a new VariationalInequality.

pub fn minty_stampacchia(&self) -> String

Minty-Stampacchia theorem: existence of solutions.

pub fn existence_condition(&self) -> String

Existence condition for the variational inequality.