Package owl.translations.mastertheorem

Class AsymmetricEvaluatedFixpoints

java.lang.Object

owl.translations.mastertheorem.AsymmetricEvaluatedFixpoints

All Implemented Interfaces:

Comparable<AsymmetricEvaluatedFixpoints>, LtlLanguageExpressible

public final class AsymmetricEvaluatedFixpoints
extends Object
implements Comparable<AsymmetricEvaluatedFixpoints>, LtlLanguageExpressible

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	AsymmetricEvaluatedFixpoints.DeterministicAutomata

Field Summary

Fields

Modifier and Type	Field	Description
Fixpoints	fixpoints
Set<GOperator>	gCoSafety
Set<GOperator>	gfCoSafety
Set<GOperator>	gSafety
EquivalenceClass	language

Method Summary

Modifier and Type	Method	Description
static AsymmetricEvaluatedFixpoints	build(Fixpoints fixpoints, Factories factories)	Construct the recurring gCosafety for a G-set.
int	compareTo(AsymmetricEvaluatedFixpoints that)
AsymmetricEvaluatedFixpoints.DeterministicAutomata	deterministicAutomata(Factories factories, boolean generalized)
boolean	equals(Object o)
int	hashCode()
boolean	isLiveness()
boolean	isSafety()
EquivalenceClass	language()
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

fixpoints

public final Fixpoints fixpoints

gSafety

public final Set<GOperator> gSafety

gCoSafety

public final Set<GOperator> gCoSafety

gfCoSafety

public final Set<GOperator> gfCoSafety

language

public final EquivalenceClass language

Method Detail

build

@Nullable
public static AsymmetricEvaluatedFixpoints build(Fixpoints fixpoints,
                                                 Factories factories)

Construct the recurring gCosafety for a G-set.

Returns:

This methods returns null, if the G-set is inconsistent.

compareTo

public int compareTo(AsymmetricEvaluatedFixpoints that)

Specified by:

compareTo in interface Comparable<AsymmetricEvaluatedFixpoints>

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

isSafety

public boolean isSafety()

isLiveness

public boolean isLiveness()

language

public EquivalenceClass language()

Specified by:

language in interface LtlLanguageExpressible

toString

public String toString()

Overrides:

toString in class Object

deterministicAutomata

public AsymmetricEvaluatedFixpoints.DeterministicAutomata deterministicAutomata(Factories factories,
                                                                                boolean generalized)