Package solvers

Class PotentiallyRealizabilityChecker<S>

java.lang.Object

solvers.PotentiallyRealizabilityChecker<S>

public class PotentiallyRealizabilityChecker<S>
extends Object

Constructor Summary

Constructors

Constructor	Description
PotentiallyRealizabilityChecker(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	checkPotentiallyRealizability()

Methods inherited from class java.lang.Object

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

Constructor Detail

PotentiallyRealizabilityChecker

public PotentiallyRealizabilityChecker(owl.ltl.LabelledFormula formula)

Method Detail

checkPotentiallyRealizability

public Boolean checkPotentiallyRealizability()

accConditionIsSatisfied

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