fss.cpp File Reference

#include <iostream>
#include <iomanip>
#include <string>
#include <ga/GAParameter.h>
#include <ga/GAStatistics.h>
#include "fssIO.h"
#include "SatProblem.h"
#include "BlindSatSolver.h"
#include "GaSatSolver.h"
#include "SatSolverObserver.h"

Include dependency graph for fss.cpp:

Go to the source code of this file.

Functions
template<class OBSERVER, class SUBJECT, class ARG>
OBSERVER *	createAttached (SUBJECT *subject, ARG &arg)
int	main (int argc, char *argv[])

---

Function Documentation

OBSERVER* createAttached	(	SUBJECT *	subject,
		ARG &	arg
	)			[inline]

Definition at line 40 of file fss.cpp.

int main	(	int	argc,
		char *	argv[]
	)

Definition at line 46 of file fss.cpp.

References AbstractSubject::addObserver(), FastSatSolver::StreamDecorator::C_CYAN, FastSatSolver::StreamDecorator::C_GREEN, FastSatSolver::StreamDecorator::C_LIGHT_BLUE, FastSatSolver::StreamDecorator::C_RED, FastSatSolver::StreamDecorator::C_YELLOW, SatProblem::getFormulasCount(), SatItemVector::getLength(), GaSatSolver::getStatistics(), GenericException::getText(), SatProblem::getVarName(), SatProblem::getVarsCount(), SatProblem::hasError(), SatProblem::loadFromFile(), SatProblem::loadFromInput(), FastSatSolver::printError(), FitnessWatch::reset(), and SatItemVector::writeOut().

---