org.sat4j.tools
Class ConstrGroup

java.lang.Object
  org.sat4j.tools.ConstrGroup

public class ConstrGroup
extends java.lang.Object

A utility class used to manage easily group of clauses to be deleted at some point in the solver.

Since:

2.0

Author:

dlb

Constructor Summary

ConstrGroup()

Method Summary

void	add(IConstr constr)
void	clear()
void	removeFrom(ISolver solver)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ConstrGroup

public ConstrGroup()

Method Detail

add

public void add(IConstr constr)

clear

public void clear()

removeFrom

public void removeFrom(ISolver solver)