Project

General

Profile

Statistics
| Branch: | Revision:

cool / src / lib / CoAlgReasoner.mli @ 7c4d2eb4

History | View | Annotate | Download (324 Bytes)

1
(** A graph-tableau-based decision procedure framework for coalgebraic logics.
2
    @author Florian Widmann
3
 *)
4

    
5

    
6
type sortTable = (CoAlgMisc.functors * int list) array
7

    
8

    
9
val isSat : ?verbose:bool -> sortTable -> (string -> CoAlgFormula.sort option) ->
10
  CoAlgFormula.sortedFormula list -> CoAlgFormula.sortedFormula -> bool