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

            for &anti_wedge_id in anti_wedge_ids.iter() {
                let anti_wedge_lit = Lit::from_atom_id(anti_wedge_id, true);

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

        Ok(())
    }
/// Adds an _anti_wedge_ rule to this formula.
///
/// This set of clauses constrains dots to a single part of a
/// firing component, source or sink, so that the induced graph of
/// any firing component is bipartite.  The `Formula` should
/// contain one clause for each fork-join pair of each internal
/// dot of the c-e structure under analysis.
Adds an _anti_wedge_ rule to this formula.
This set of clauses constrains dots to a single part of a
firing component, source or sink, so that the induced graph of
any firing component is bipartite.  The `Formula` should
contain one clause for each fork-join pair of each internal
dot of the c-e structure under analysis.
Adds an _anti_wedge_ rule to this formula . This set of clauses constrains dots to a single part of a firing component source or sink so that the induced graph of any firing component is bipartite . The ` Formula ` should contain one clause for each fork - join pair of each internal dot of the c - e structure under analysis .
pub fn add_anti_wedges(
        &mut self,
        wedge_ids: &[AtomId],
        anti_wedge_ids: &[AtomId],
    ) -> Result<(), AcesError> {
        for &wedge_id in wedge_ids.iter() {
            let wedge_lit = Lit::from_atom_id(wedge_id, true);
            for &anti_wedge_id in anti_wedge_ids.iter() {
                let anti_wedge_lit = Lit::from_atom_id(anti_wedge_id, true);
                let clause = Clause::from_pair(wedge_lit, anti_wedge_lit, "anti_wedge");
                self.add_clause(clause)?;
            }
        }
        Ok(())
    }
pub fn add_anti_wedges ( & mut self , wedge_ids : & [ AtomId ] , anti_wedge_ids : & [ AtomId ] , ) -> Result < ( ) , AcesError > { for & wedge_id in wedge_ids . iter ( ) { let wedge_lit = Lit :: from_atom_id ( wedge_id , true ) ; for & anti_wedge_id in anti_wedge_ids . iter ( ) { let anti_wedge_lit = Lit :: from_atom_id ( anti_wedge_id , true ) ; let clause = Clause :: from_pair ( wedge_lit , anti_wedge_lit , " " ) ; self . add_clause ( clause ) ? ; } } Ok ( ( ) ) }
Adds an _anti_wedge_ rule to this formula.
Adds an _anti_wedge_ rule to this formula .
&mut self
wedge_ids
&[AtomId]
anti_wedge_ids
&[AtomId]
&mut self
wedge_ids
&[AtomId]
anti_wedge_ids
&[AtomId]