Package de.tudresden.inf.lat.jcel.core.saturation

Provides interfaces and classes needed to perform the saturation.

See: Description

Package de.tudresden.inf.lat.jcel.core.saturation Description

Provides interfaces and classes needed to perform the saturation.
It uses the following packages:

Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.