**SAT** **solvers:**

- Class GaSatSolver - solver using GAlib library to solve SAT problem
- Class BlindSatSolver - solver using brute force method to solve SAT problem
- Class AbstractSatSolver - common interface of both solvers

**Observers:**

- Class TimedStop - observer which stops process after specified time
- Class SolutionsCountStop - Observer which stop solver after specified count of solutions is found.
- Class ProgressWatch - Observer which write out progress percentage when it is changed.
- Class FitnessWatch - Observer which write out message when maxFitness value is increased.
- Class ResultsWatch - Observer which write out message when solution is found.

## Files | |

file | BlindSatSolver.h |

BlindSatSolver class using brute force method to solve SAT problem. | |

file | GaSatSolver.h |

GaSatSolver class using GAlib library to solve SAT problem. | |

file | SatSolver.h |

ISatItem, IObserver and AbstractSatSolver with its base classes. | |

file | SatSolverObserver.h |

Set of useful observers attachable to AbstractSatSolver or its base classes. | |

## Classes | |

class | LongSatItem |

ISatItem implementation used by BlindSatSolver. More... | |

class | BlindSatSolver |

Solver using brute force method to solve SAT problem. More... | |

class | GaSatItem |

ISatItem implementation used by GaSatSolver. More... | |

class | SatItemGalibAdatper |

Leightweight, optimized ISatItem implementation used by GaSatSolver time-critical parts of code. More... | |

class | GaSatSolver |

Solver using GAlib library to solve SAT problem. More... | |

class | AbstractSubject |

Simple subject's base class. More... | |

class | AbstractProcess |

Base class of simple multi-step process. More... | |

class | AbstractProcessWatched |

Multi-step process with time-watch extension. More... | |

class | SatItemVector |

Linear storage container for ISatItem objects. More... | |

class | SatItemSet |

Associative array for ISatItem objects. More... | |

class | AbstractSatSolver |

SAT Solver base class. More... | |

class | TimedStop |

Observer which stops process after specified time. More... | |

class | ProgressWatch |

Observer which write out progress percentage when it is changed. More... | |

class | SolutionsCountStop |

Observer which stop solver after specified count of solutions is found. More... | |

class | FitnessWatch |

Observer which write out message when maxFitness value is increased. More... | |

class | ResultsWatch |

Observer which write out message when solution is found. More... | |

interface | ISatItem |

Abstraction of solution candidate. More... | |

interface | IObserver |

Simple observer's base class. More... | |

interface | ISubject |

Simple observer's subject base class. More... | |

interface | IProcess |

Continous process interface. More... | |

interface | IStopWatch |

Interface of time-watchable activity. More... |

Generated on Wed Nov 5 22:30:22 2008 for Fast SAT Solver by 1.5.4