Package owl.translations.ltl2dela

Class PropositionalFormulaHelper

java.lang.Object

owl.translations.ltl2dela.PropositionalFormulaHelper

public final class PropositionalFormulaHelper
extends Object

Method Summary

Modifier and Type	Method	Description
static <K> Map<K,Boolean>	findPartialAssignment(PropositionalFormula<K> formula, PropositionalFormula<K> refinedFormula)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

findPartialAssignment

@Nullable
public static <K> Map<K,Boolean> findPartialAssignment(PropositionalFormula<K> formula,
                                                             PropositionalFormula<K> refinedFormula)