Parsers::ClauseProcessor Class Reference

Abstract base class for clause processors. More...

#include <Parsers.hpp>

Inheritance diagram for Parsers::ClauseProcessor:

Collaboration diagram for Parsers::ClauseProcessor:

Public Member Functions
virtual bool	initMembers (unsigned int varCount, unsigned int clauseCount)=0
	Initialize the processor with problem parameters.
virtual bool	operator() (simpleClause &clause)=0
	Process a clause.

Detailed Description

Abstract base class for clause processors.

ClauseProcessor defines an interface for objects that process clauses during parsing. Derived classes can implement specific processing logic.

Member Function Documentation

initMembers()

virtual bool Parsers::ClauseProcessor::initMembers ( unsigned int varCount, unsigned int clauseCount )

pure virtual

Initialize the processor with problem parameters.

Parameters

varCount	The number of variables in the formula.
clauseCount	The number of clauses in the formula.

Returns

true if initialization was successful, false otherwise.

Implemented in Parsers::RedundancyFilter, Parsers::SBVAInit, and Parsers::TautologyFilter.

operator()()

virtual bool Parsers::ClauseProcessor::operator() ( simpleClause & clause )

pure virtual

Process a clause.

Parameters

clause

The clause to process.

Returns

true if the clause should be kept, false if it should be filtered out.

Implemented in Parsers::RedundancyFilter, Parsers::SBVAInit, and Parsers::TautologyFilter.

---

The documentation for this class was generated from the following file:

• /github/workspace/src/utils/Parsers.hpp