ProgramCore

asdi

Trait ProgramCore 

Source 
pub trait ProgramCore {
    // Required methods
    fn features(&self) -> &FeatureSet;
    fn extensional(&self) -> &RelationSet;
    fn intensional(&self) -> &RelationSet;
    fn rules(&self) -> &RuleSet;
}
Expand description

Core, readable, properties of a Datalog program.

Required Methods§

Source

fn features(&self) -> &FeatureSet

Returns the set of features currently supported by this program.

Source

fn extensional(&self) -> &RelationSet

Returns the current set of extensional relations.

Source

fn intensional(&self) -> &RelationSet

Returns the current set of intensional relations.

Source

fn rules(&self) -> &RuleSet

Return an iterator over the rules in the intensional database.

Implementors§