Struct ResourceLogic 

pub struct ResourceLogic {
    pub resources: Vec<String>,
}

Resource logic: linear logic as a logic of resource consumption.

Fields

resources: Vec<String>

Named resources available.

Implementations

impl ResourceLogic

pub fn new(resources: Vec<String>) -> Self

Create a new resource logic structure.

pub fn resource_consumption_model(&self) -> String

Resource consumption model: a process consumes resources from the context linearly (no copying).

pub fn separation_logic_connection(&self) -> String

Connection to separation logic: the separating conjunction * in BI logic corresponds to tensor ⊗.

pub fn has_resource(&self, name: &str) -> bool

Check if a given resource is available.

pub fn consume(&self, name: &str) -> Option<Self>

Consume a resource (returns new state with resource removed).

pub fn count(&self) -> usize

Total number of available resources.

Trait Implementations

impl Clone for ResourceLogic

fn clone(&self) -> ResourceLogic

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ResourceLogic

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

Formats the value using the given formatter.