pub fn add_polynomial(
        &mut self,
        port_id: PortId,
        poly: &Frame<LinkId>,
    ) -> Result<(), AcesError> {
        if !poly.is_empty() {
            let port_lit = port_id.into_sat_literal(true);

            for clause in poly.as_sat_clauses(port_lit) {
                self.add_clause(clause)?;
            }
        }

        Ok(())
    }
/// Adds a _polynomial_ rule to this formula.
Adds a _polynomial_ rule to this formula.
Adds a _polynomial_ rule to this formula .
pub fn add_polynomial(
        &mut self,
        port_id: PortId,
        poly: &Frame<LinkId>,
    ) -> Result<(), AcesError> {
        if !poly.is_empty() {
            let port_lit = port_id.into_sat_literal(true);
            for clause in poly.as_sat_clauses(port_lit) {
                self.add_clause(clause)?;
            }
        }
        Ok(())
    }
pub fn add_polynomial ( & mut self , port_id : PortId , poly : & Frame < LinkId > , ) -> Result < ( ) , AcesError > { if ! poly . is_empty ( ) { let port_lit = port_id . into_sat_literal ( true ) ; for clause in poly . as_sat_clauses ( port_lit ) { self . add_clause ( clause ) ? ; } } Ok ( ( ) ) }
Adds a _polynomial_ rule to this formula.
Adds a _polynomial_ rule to this formula .
&mut self
port_id
PortId
poly
&Frame<LinkId>
&mut self
port_id
PortId
poly
&Frame<LinkId>