Logo Search packages:      
Sourcecode: sat4j version File versions

IConstr org::sat4j::minisat::core::Solver< L extends ILits, D extends DataStructureFactory< L >>::addConstr ( Constr  constr  )  [inline, protected]

Parameters:
constr a constraint implementing the Constr interface.
Returns:
a reference to the constraint for external use.

Definition at line 1188 of file Solver.java.

References org::sat4j::specs::IConstr::get().

                                                 {
            if (constr != null) {
                  constrs.push(constr);
                  String type = constr.getClass().getName();
                  Integer count = constrTypes.get(type);
                  if (count == null) {
                        constrTypes.put(type, 1);
                  } else {
                        constrTypes.put(type, count + 1);
                  }
            }
            return constr;
      }


Generated by  Doxygen 1.6.0   Back to index