public class DefaultSubgraphEncoding extends SubgraphEncoding
SubgraphAutomaton
BDDEncoding.StateType
Modifier and Type | Method and Description |
---|---|
String |
getBitType(int pos)
Returns a string indicating which information is encoded by bit of the given position
pos . |
RavenBDD |
getEdgeBit(BDDEncoding.StateType type,
int edge)
Returns a BDD which encodes that in state
state the edge -th subgraph edge
has been recognized if and only if the BDD is true . |
RavenBDD |
getMappingBit(BDDEncoding.StateType type,
int node,
int size)
Returns a BDD which encodes that in state
state the node -th subgraph node
is the image of pos -th interface node (of the function mapping the interface into
the subgraph node set) if and only if the BDD is true . |
RavenBDD |
getNodeBit(BDDEncoding.StateType type,
int node)
Returns a BDD which encodes that in state
state the node -th subgraph node
has been recognized if and only if the BDD is true . |
String |
printStates(RavenBDD stateSet)
Prints a single state (seen as singleton state set) or a set of states.
|
getDefaultEncoding, getEdgeCount, getEdgeOrder, getEdgeType, getEncoding, getMappingType, getNodeCount, getNodeOrder, getNodeType, getSubgraph
getBit, getCurrentStateDomain, getInnerInterface, getInterfaceBit, getInterfaceEncodingBDD, getInterfaceLength, getInterfaceSize, getInterfaceSizeIsGreaterOrEqual, getInterfaceSizeIsLessOrEqual, getInterfaceSizeType, getLength, getMaximumInterface, getOuterInterface, getStateBit, getStateEncodingBDD, getStateLength, getStateType, getSuccessorStateDomain, one, toString, zero
public String getBitType(int pos)
BDDEncoding
pos
.getBitType
in class BDDEncoding
pos
- the position of the bitpublic RavenBDD getNodeBit(BDDEncoding.StateType type, int node)
SubgraphEncoding
state
the node
-th subgraph node
has been recognized if and only if the BDD is true
.getNodeBit
in class SubgraphEncoding
type
- the state type, either current state or successor statenode
- the position of the subgraph nodepublic RavenBDD getEdgeBit(BDDEncoding.StateType type, int edge)
SubgraphEncoding
state
the edge
-th subgraph edge
has been recognized if and only if the BDD is true
.getEdgeBit
in class SubgraphEncoding
type
- the state type, either current state or successor stateedge
- the position of the subgraph edgepublic RavenBDD getMappingBit(BDDEncoding.StateType type, int node, int size)
SubgraphEncoding
state
the node
-th subgraph node
is the image of pos
-th interface node (of the function mapping the interface into
the subgraph node set) if and only if the BDD is true
.getMappingBit
in class SubgraphEncoding
type
- the state type, either current state or successor statenode
- the position of the subgraph nodesize
- the position of the interface nodepublic String printStates(RavenBDD stateSet)
BDDEncoding
printStates
in class BDDEncoding
stateSet
- the state set to be printed