M3CSolver (AutomataLib 0.11.0 API)

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 specialized `M3CSolver` which no longer throws a `ParseException` 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