Project

General

Profile

Statistics
| Branch: | Revision:

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

History | View | Annotate | Download (160 Bytes)

1 4fd28192 Thorsten WiƟmann
type formula = ALCFormula.formula
2
type definition = ALCFormula.definition
3
4
val isSat : ?verbose:bool -> formula list -> formula list -> definition list -> bool