Skip to main content

compute_floor

axon::module_interface

Function compute_floor 

Source 
pub fn compute_floor(program: &Program) -> EpistemicFloor
Expand description

Floor rules, highest wins (recursing into epistemic blocks): anchors ⇒ know · shields ⇒ believe · know|believe|doubt|speculate block ⇒ its level · otherwise unspecified.