Package solvers

Class StrongSatisfiabilityChecker<S>

java.lang.Object

solvers.StrongSatisfiabilityChecker<S>

public class StrongSatisfiabilityChecker<S>
extends Object

Constructor Summary

Constructors

Constructor	Description
StrongSatisfiabilityChecker(owl.ltl.LabelledFormula formula)

Method Summary

Modifier and Type	Method	Description
boolean	accConditionIsSatisfied(jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance> acceptanceCondition, it.unimi.dsi.fastutil.ints.IntArrayList acceptanceSets)
Boolean	checkStrongSatisfiable()

Methods inherited from class java.lang.Object

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

Constructor Detail

StrongSatisfiabilityChecker

public StrongSatisfiabilityChecker(owl.ltl.LabelledFormula formula)

Method Detail

checkStrongSatisfiable

public Boolean checkStrongSatisfiable()

accConditionIsSatisfied

public boolean accConditionIsSatisfied(jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance> acceptanceCondition,
                                       it.unimi.dsi.fastutil.ints.IntArrayList acceptanceSets)