Struct DeepPolyLayer 

pub struct DeepPolyLayer {
    pub neurons: Vec<DeepPolyNeuron>,
}

A full DeepPoly abstract element for one layer.

Fields

neurons: Vec<DeepPolyNeuron>

Neurons in this layer

Implementations

impl DeepPolyLayer

pub fn input_layer(lower: &[f64], upper: &[f64]) -> Self

Create from interval bounds on neurons (input layer).

pub fn affine(&self, weights: &[Vec<f64>], bias: &[f64]) -> Self

Apply an affine layer W * x + b to produce a new abstract layer.

pub fn relu(&self) -> Self

Apply abstract ReLU to all neurons.

pub fn concrete_lower(&self) -> Vec<f64>

Get the concrete lower bound on all neurons.

pub fn concrete_upper(&self) -> Vec<f64>

Get the concrete upper bound on all neurons.