Interface M3CSolver<F>
-
- Type Parameters:
F
- formula type
- All Known Subinterfaces:
M3CSolver.TypedM3CSolver<F>
- All Known Implementing Classes:
StringADDSolver
,StringBDDSolver
,TypedADDSolver
,TypedBDDSolver
public interface M3CSolver<F>
An interface for a generic M3C solver which may need to parse the given formula and thus may throw an exception when doing so.
-
-
Nested Class Summary
Nested Classes Modifier and Type Interface Description static interface
M3CSolver.TypedM3CSolver<F>
A specializedM3CSolver
which no longer throws aParseException
when solving a formula, but requires a type-safe formula object.
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description boolean
solve(F formula)
Checks whether the given formula is satisfied.
-
-
-
Method Detail
-
solve
boolean solve(F formula) throws ParseException
Checks whether the given formula is satisfied.- Parameters:
formula
- the formula whose satisfiability should be checked- Returns:
true
if the formula is satisfied,false
otherwise.- Throws:
ParseException
- when the given formula object cannot be parsed
-
-