Skip to main content

ATTACK_ENUMERATION_LIMIT

Constant ATTACK_ENUMERATION_LIMIT 

Source
pub const ATTACK_ENUMERATION_LIMIT: usize = 24;
Expand description

Upper bound on attack count for exact Dunne 2011 subset enumeration.

At n = 24 the power-set iteration visits ~16.8M subsets; in release builds with the straight-line Dung enumerator on the residual this stays under ~2 seconds on commodity hardware. Larger frameworks hit crate::Error::TooManyAttacks.

The core crate enforces a separate limit on arguments for its own subset enumerators (22, see argumentation::semantics::subset_enum); the two limits are independent because they count different things.