Package solvers

Class StrongSATSolver<S>

java.lang.Object

solvers.StrongSATSolver<S>

public class StrongSATSolver<S>
extends Object

Constructor Summary

Constructors

Constructor	Description
StrongSATSolver()

Method Summary

Modifier and Type	Method	Description
owl.automaton.MutableAutomaton<S,?>	buildInputAutomata(owl.automaton.Automaton<S,owl.automaton.acceptance.EmersonLeiAcceptance> automaton, List<String> inputVars, List<String> vars)
boolean	isStrongSatisfiable(owl.ltl.LabelledFormula formula)

Methods inherited from class java.lang.Object

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

Constructor Detail

StrongSATSolver

public StrongSATSolver()

Method Detail

isStrongSatisfiable

public boolean isStrongSatisfiable(owl.ltl.LabelledFormula formula)

buildInputAutomata

public owl.automaton.MutableAutomaton<S,?> buildInputAutomata(owl.automaton.Automaton<S,owl.automaton.acceptance.EmersonLeiAcceptance> automaton,
                                                                    List<String> inputVars,
                                                                    List<String> vars)