public final class RealizabilityRewriter
extends java.lang.Object
Modifier and Type | Method | Description |
---|---|---|
static java.util.List<Formula> |
split(java.util.BitSet inputVariablesMask,
Formula formula,
java.util.Map<java.lang.Integer,java.lang.Boolean> fixedValuations) |
|
static Formula[] |
split(Formula formula,
int numberOfInputSignals,
java.util.Map<java.lang.Integer,java.lang.Boolean> fixedValuations) |
|
static java.util.List<Formula> |
split(Formula formula,
java.util.BitSet inputVariablesMask) |