conexp.fx.core.context.temporal

Class TemporalContext<G,M>

java.lang.Object

conexp.fx.core.context.temporal.TemporalContext<G,M>

Type Parameters:

G -

M - a prototypical implementation of a temporal context the time dimension is assumed to be a finite prefix of the natural numbers, ie. the timepoints 0 to n for some natural number n Furthermore it is assumed that all timepoints have the same objects and attributes. If this is not the case, then it can be ensured by calling the normalize() methode. It simply adds all existing objects and attributes to all other timepoint contexts.

public class TemporalContext<G,M>
extends Object

Author:

Francesco Kriegel

Constructor Summary

Constructors

Constructor and Description
TemporalContext()

Method Summary

Modifier and Type	Method and Description
MatrixContext<G,M>	addTimepoint()
MatrixContext<G,M>	atTimepoint(int t)
boolean	contains(G g, LTL<M> m, Integer t)
boolean	contains(G g, M m, Integer t)
Set<LTL<M>>	getAllLTLAttributes()
int	getLength()
Set<LTL<M>>	getLTLAttributes(LTL.Type... types)
boolean	hasTimepoint(int t)
int	lastTimepoint()
boolean	normalize()
MatrixContext<Pair<G,Integer>,LTL<M>>	temporalScaling()
MatrixContext<Pair<G,Integer>,LTL<M>>	temporalScaling(Set<Integer> timepoints, Set<LTL<M>> ltlAttributes)
MatrixContext<Pair<G,Integer>,LTL<M>>	temporalScaling(Set<LTL<M>> ltlAttributes)

Methods inherited from class java.lang.Object

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

Constructor Detail

TemporalContext

public TemporalContext()

Method Detail

addTimepoint

public final MatrixContext<G,M> addTimepoint()

atTimepoint

public final MatrixContext<G,M> atTimepoint(int t)

hasTimepoint

public final boolean hasTimepoint(int t)

lastTimepoint

public final int lastTimepoint()

getLength

public final int getLength()

normalize

public final boolean normalize()

contains

public final boolean contains(G g,
                              M m,
                              Integer t)

contains

public final boolean contains(G g,
                              LTL<M> m,
                              Integer t)

temporalScaling

public final MatrixContext<Pair<G,Integer>,LTL<M>> temporalScaling(Set<Integer> timepoints,
                                                                   Set<LTL<M>> ltlAttributes)

Parameters:

timepoints -

ltlAttributes -

Returns:

a formal context The method may throw an Exception, if the temporal context is not normalized. Thus the normalize() method should be called before.

temporalScaling

public final MatrixContext<Pair<G,Integer>,LTL<M>> temporalScaling(Set<LTL<M>> ltlAttributes)

temporalScaling

public final MatrixContext<Pair<G,Integer>,LTL<M>> temporalScaling()

getAllLTLAttributes

public Set<LTL<M>> getAllLTLAttributes()

getLTLAttributes

public Set<LTL<M>> getLTLAttributes(LTL.Type... types)