Struct polar_core::resource_block::ResourceBlocks

pub struct ResourceBlocks {
    pub shorthand_rules: HashMap<Term, Vec<ShorthandRule>>,
    pub actors: HashSet<Term>,
    pub resources: HashSet<Term>,
    /* private fields */
}

Fields

shorthand_rules: HashMap<Term, Vec<ShorthandRule>>

Map from resource (Symbol) to the shorthand rules declared in that resource’s block.

actors: HashSet<Term>

Set of all resource block types declared as actors. Internally treated like a union type where all declared types are members of the union.

resources: HashSet<Term>

Set of all resource block types declared as resources. Internally treated like a union type where all declared types are members of the union.

Implementations

impl ResourceBlocks

pub fn new() -> Self

pub fn clear(&mut self)

pub fn get_relation_type_in_resource_block( &self, relation: &Term, resource: &Term ) -> PolarResult<&Term>

Look up relation in resource block and return its type.

pub fn declarations(&self) -> &HashMap<Term, HashMap<Term, Declaration>>

pub fn has_roles(&self) -> bool

pub fn relation_tuples(&self) -> Vec<(&Term, &Term, &Term)>

Trait Implementations

impl Clone for ResourceBlocks

fn clone(&self) -> ResourceBlocks

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Default for ResourceBlocks

fn default() -> ResourceBlocks

Returns the “default value” for a type.