Struct AbstractDomain 

pub struct AbstractDomain {
    pub kind: String,
    pub predicates: Vec<String>,
}

An abstract domain for program analysis.

Fields

kind: String

Kind of abstraction: “predicate”, “interval”, “octagon”.

predicates: Vec<String>

Predicate names / abstract facts.

Implementations

impl AbstractDomain

pub fn predicate(predicates: Vec<String>) -> Self

Create a predicate-abstraction domain.

pub fn interval() -> Self

Create an interval domain.

pub fn is_top(&self) -> bool

Returns true if the domain has no predicates (top element).

Trait Implementations

impl Clone for AbstractDomain

fn clone(&self) -> AbstractDomain

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AbstractDomain

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

Formats the value using the given formatter.