pub fn add_branch_wedges(&mut self, branch_wedge_ids: &[AtomId]) -> Result<(), AcesError> {
        for (pos, &wedge_id) in branch_wedge_ids.iter().enumerate() {
            let wedge_lit = Lit::from_atom_id(wedge_id, true);

            for &branch_wedge_id in branch_wedge_ids[pos + 1..].iter() {
                let branch_wedge_lit = Lit::from_atom_id(branch_wedge_id, true);

                let clause = Clause::from_pair(wedge_lit, branch_wedge_lit, "branch_wedge");
                self.add_clause(clause)?;
            }
        }

        Ok(())
    }
/// Adds a _branch_wedge_ rule to this formula.
///
/// This rule enforces monomiality of firing components.
Adds a _branch_wedge_ rule to this formula.
This rule enforces monomiality of firing components.
Adds a _branch_wedge_ rule to this formula . This rule enforces monomiality of firing components .
pub fn add_branch_wedges(&mut self, branch_wedge_ids: &[AtomId]) -> Result<(), AcesError> {
        for (pos, &wedge_id) in branch_wedge_ids.iter().enumerate() {
            let wedge_lit = Lit::from_atom_id(wedge_id, true);
            for &branch_wedge_id in branch_wedge_ids[pos + 1..].iter() {
                let branch_wedge_lit = Lit::from_atom_id(branch_wedge_id, true);
                let clause = Clause::from_pair(wedge_lit, branch_wedge_lit, "branch_wedge");
                self.add_clause(clause)?;
            }
        }
        Ok(())
    }
pub fn add_branch_wedges ( & mut self , branch_wedge_ids : & [ AtomId ] ) -> Result < ( ) , AcesError > { for ( pos , & wedge_id ) in branch_wedge_ids . iter ( ) . enumerate ( ) { let wedge_lit = Lit :: from_atom_id ( wedge_id , true ) ; for & branch_wedge_id in branch_wedge_ids [ pos + 1 .. ] . iter ( ) { let branch_wedge_lit = Lit :: from_atom_id ( branch_wedge_id , true ) ; let clause = Clause :: from_pair ( wedge_lit , branch_wedge_lit , " " ) ; self . add_clause ( clause ) ? ; } } Ok ( ( ) ) }
Adds a _branch_wedge_ rule to this formula.
Adds a _branch_wedge_ rule to this formula .
&mut self
branch_wedge_ids
&[AtomId]
&mut self
branch_wedge_ids
&[AtomId]