Skip to main content

grounded_contains

qualia_core_db::modalities::argumentation

Function grounded_contains 

Source 
pub fn grounded_contains(
    args: &[u64],
    attacks: &[(u64, u64)],
    goal: u64,
) -> bool
Expand description

Zero-heap Dung (1995) grounded-extension membership test over caller-supplied, bounded argument and attack arrays. Returns whether goal is justified (in the grounded extension). No allocation — fixed stack buffers only; suitable for the Webizen VM hot path. (ArgumentationFramework::grounded_extension is the heap-using batch variant for the cold path.)