[−][src]Function varisat::cnf::strategy::vec_formula
pub fn vec_formula<impl Strategy, impl Into , impl Into >(
vars: impl Strategy,
clauses: impl Into,
clause_len: impl Into
) -> impl Strategy<Value = Vec<Vec<Lit>>> where
impl Into: Into<SizeRange> + Into<SizeRange>,
impl Strategy: Strategy<Value = usize>,