Project

General

Profile

Statistics
| Branch: | Revision:

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

History | View | Annotate | Download (160 Bytes)

1
type formula = ALCFormula.formula
2
type definition = ALCFormula.definition
3

    
4
val isSat : ?verbose:bool -> formula list -> formula list -> definition list -> bool