Struct biscuit_auth::datalog::World

pub struct World {
    pub facts: HashSet<Fact>,
    pub rules: Vec<Rule>,
}

Fields

facts: HashSet<Fact>

rules: Vec<Rule>

Implementations

impl World

pub fn new() -> Self

pub fn add_fact(&mut self, fact: Fact)

pub fn add_rule(&mut self, rule: Rule)

pub fn run(&mut self, symbols: &SymbolTable) -> Result<(), RunLimit>

pub fn run_with_limits(
    &mut self,
    symbols: &SymbolTable,
    limits: RunLimits
) -> Result<(), RunLimit>

pub fn query(&self, pred: Predicate) -> Vec<&Fact>

pub fn query_rule(&self, rule: Rule, symbols: &SymbolTable) -> Vec<Fact>

pub fn query_match(&self, rule: Rule, symbols: &SymbolTable) -> bool

Trait Implementations

impl Clone for World

fn clone(&self) -> World

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for World

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

Formats the value using the given formatter.

impl Default for World

fn default() -> World

Returns the “default value” for a type.

impl PartialEq<World> for World

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

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

fn ne(&self, other: &World) -> bool

This method tests for !=.

impl StructuralPartialEq for World