public class RabinizerBuilder
extends java.lang.Object
owl.translations.rabinizer
Modifier and Type | Method | Description |
---|---|---|
static MutableAutomaton<RabinizerState,GeneralizedRabinAcceptance> |
rabinize(Formula phi,
Factories factories,
RabinizerConfiguration configuration,
Environment env) |
public static MutableAutomaton<RabinizerState,GeneralizedRabinAcceptance> rabinize(Formula phi, Factories factories, RabinizerConfiguration configuration, Environment env)