M3CSolver.TypedM3CSolver (AutomataLib 0.11.0 API)

Type Parameters:

F - formula type

All Superinterfaces:

M3CSolver<F>

All Known Implementing Classes:

TypedADDSolver, TypedBDDSolver

Enclosing interface:

M3CSolver<F>
```
public static interface M3CSolver.TypedM3CSolver<F>
extends M3CSolver<F>
```
A specialized M3CSolver which no longer throws a ParseException when solving a formula, but requires a type-safe formula object.

- Nested Class Summary
  - Nested classes/interfaces inherited from interface net.automatalib.modelchecker.m3c.solver.M3CSolver
    M3CSolver.TypedM3CSolver<F>
- 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)
```
    Checks whether the given formula is satisfied.
    
    Specified by:
    
    solve in interface M3CSolver<F>
    
    Parameters:
    
    formula - the formula whose satisfiability should be checked
    
    Returns:
    
    true if the formula is satisfied, false otherwise.