pub struct MetaAlgorithmAmendment {
pub id: String,
pub topic: String,
pub rule: String,
pub source_requirement_ids: Vec<String>,
pub covered_event_ids: Vec<String>,
}Expand description
A generalization baked into Formal AI’s meta-algorithm: when solving tasks on
topic, always apply rule.
Materialized into memory as a retained, never-reclaimable learning record;
the specifics it covered_event_ids subsumes become safe to forget under
pressure.
Fields§
§id: String§topic: String§rule: String§source_requirement_ids: Vec<String>§covered_event_ids: Vec<String>Trait Implementations§
Source§impl Clone for MetaAlgorithmAmendment
impl Clone for MetaAlgorithmAmendment
Source§fn clone(&self) -> MetaAlgorithmAmendment
fn clone(&self) -> MetaAlgorithmAmendment
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl Debug for MetaAlgorithmAmendment
impl Debug for MetaAlgorithmAmendment
impl Eq for MetaAlgorithmAmendment
Source§impl PartialEq for MetaAlgorithmAmendment
impl PartialEq for MetaAlgorithmAmendment
impl StructuralPartialEq for MetaAlgorithmAmendment
Auto Trait Implementations§
impl Freeze for MetaAlgorithmAmendment
impl RefUnwindSafe for MetaAlgorithmAmendment
impl Send for MetaAlgorithmAmendment
impl Sync for MetaAlgorithmAmendment
impl Unpin for MetaAlgorithmAmendment
impl UnsafeUnpin for MetaAlgorithmAmendment
impl UnwindSafe for MetaAlgorithmAmendment
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.