Struct ExecutableProgram

Source

pub struct ExecutableProgram {Show 14 fields
    pub domains: Vec<ExecutableDomain>,
    pub functions: Vec<ExecutableFunction>,
    pub relations: Vec<ExecutableRelation>,
    pub rules: Vec<ExecutableRule>,
    pub constraints: Vec<ExecutableConstraint>,
    pub queries: Vec<ExecutableQuery>,
    pub probabilistic_facts: Vec<ExecutableProbabilisticFact>,
    pub annotated_disjunctions: Vec<ExecutableAnnotatedDisjunction>,
    pub evidence: Vec<ExecutableEvidence>,
    pub probabilistic_queries: Vec<ExecutableProbabilisticQuery>,
    pub neural_predicates: Vec<ExecutableNeuralPredicate>,
    pub learnable_rules: Vec<ExecutableLearnableRule>,
    pub dependencies: Vec<RelationDependency>,
    pub sccs: Vec<ExecutableScc>,
}

Expand description

Executable rule graph after module visibility and selection are applied.

Fields§

§domains: Vec<ExecutableDomain>§functions: Vec<ExecutableFunction>§relations: Vec<ExecutableRelation>§rules: Vec<ExecutableRule>§constraints: Vec<ExecutableConstraint>§queries: Vec<ExecutableQuery>§probabilistic_facts: Vec<ExecutableProbabilisticFact>§annotated_disjunctions: Vec<ExecutableAnnotatedDisjunction>§evidence: Vec<ExecutableEvidence>§probabilistic_queries: Vec<ExecutableProbabilisticQuery>§neural_predicates: Vec<ExecutableNeuralPredicate>§learnable_rules: Vec<ExecutableLearnableRule>§dependencies: Vec<RelationDependency>§sccs: Vec<ExecutableScc>

ExecutableProgram

Struct ExecutableProgram Copy item path

Fields§

Trait Implementations§

impl Clone for ExecutableProgram

fn clone(&self) -> ExecutableProgram

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

impl Debug for ExecutableProgram

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

impl Eq for ExecutableProgram

impl PartialEq for ExecutableProgram

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

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

impl Serialize for ExecutableProgram

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>where __S: Serializer,

impl StructuralPartialEq for ExecutableProgram

Auto Trait Implementations§

impl Freeze for ExecutableProgram

impl RefUnwindSafe for ExecutableProgram

impl Send for ExecutableProgram

impl Sync for ExecutableProgram

impl Unpin for ExecutableProgram

impl UnsafeUnpin for ExecutableProgram

impl UnwindSafe for ExecutableProgram

Blanket Implementations§

impl<T> Allocation for Twhere T: RefUnwindSafe + Send + Sync,

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> CloneToUninit for Twhere T: Clone,

unsafe fn clone_to_uninit(&self, dest: *mut u8)

impl<Q, K> Equivalent<K> for Qwhere Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

fn equivalent(&self, key: &K) -> bool

impl<T> From<T> for T

fn from(t: T) -> T

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<T> Same for T

type Output = T

impl<T> ToOwned for Twhere T: Clone,

type Owned = T

fn to_owned(&self) -> T

fn clone_into(&self, target: &mut T)

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Struct ExecutableProgram

fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>
where S: Serializer,

impl<T> Allocation for T
where T: RefUnwindSafe + Send + Sync,

impl<T> Any for T
where T: 'static + ?Sized,

impl<T> Borrow<T> for T
where T: ?Sized,

impl<T> BorrowMut<T> for T
where T: ?Sized,

impl<T> CloneToUninit for T
where T: Clone,

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

impl<T, U> Into<U> for T
where U: From<T>,

impl<T> ToOwned for T
where T: Clone,

impl<T, U> TryFrom<U> for T
where U: Into<T>,

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,