Package net.automatalib.graph.concept

Interface MutableKripkeInterpretation<N,AP>

All Superinterfaces:

KripkeInterpretation<N,AP>

All Known Subinterfaces:

MutableProceduralModalProcessGraph<N,L,E,AP,TP>

All Known Implementing Classes:

CompactPMPG

public interface MutableKripkeInterpretation<N,AP>
extends KripkeInterpretation<N,AP>

Method Summary

Modifier and Type	Method	Description
void	setAtomicPropositions(N node, Set<AP> atomicPropositions)

Methods inherited from interface net.automatalib.graph.concept.KripkeInterpretation

getAtomicPropositions

Method Detail

setAtomicPropositions

void setAtomicPropositions(N node,
                           Set<AP> atomicPropositions)