public interface ModuleProcessorFactory
Modifier and Type | Method and Description |
---|---|
Processor |
createProcessor(Set<ComplexIntegerAxiom> axioms)
Creates a new processor.
|
Processor createProcessor(Set<ComplexIntegerAxiom> axioms)
axioms
- set of axioms to processCopyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.