pub fn floor_fact(f: &mut DerivedFacts, t: &Transition, s: &SystemState)Expand description
§12e: whether the generation a transition goes to is below the security floor. Planarian’s generation ids grow with time, so “below” is older.
pub fn floor_fact(f: &mut DerivedFacts, t: &Transition, s: &SystemState)§12e: whether the generation a transition goes to is below the security floor. Planarian’s generation ids grow with time, so “below” is older.