public interface LogicalModel
| Modifier and Type | Method and Description |
|---|---|
LogicalModel |
clone()
Make a copy of this model.
|
Map<String,NodeInfo[]> |
getBooleanizedMap()
Get the Boolean - multi-valued mapping information for booleanized models.
|
NodeInfo |
getComponent(String s_source)
Retrieve a component by name.
|
List<NodeInfo> |
getComponents()
Get the list of core nodes in this model.
|
List<NodeInfo> |
getExtraComponents()
Get the list of extra components in this model.
|
int[] |
getExtraLogicalFunctions()
Get the logical function of extra components in this model.
|
byte |
getExtraValue(int componentIdx,
byte[] state)
Compute the value of an extra component for a given state.
|
int[] |
getLogicalFunctions()
Get the logical function of core components in this model.
|
org.colomoto.mddlib.MDDManager |
getMDDManager()
Get the MDD factory holding logical functions for this model.
|
List<NodeInfo> |
getNodeOrder()
Deprecated.
|
byte |
getTargetValue(int componentIdx,
byte[] state)
Compute the target value of a core component for a given state.
|
LogicalModel |
getView(List<NodeInfo> neworder)
Get a logical model with the same nodes but a different order for the core components.
|
boolean |
isBoolean()
Check if this model is Boolean.
|
org.colomoto.mddlib.MDDManager getMDDManager()
List<NodeInfo> getComponents()
getLogicalFunctions() method.@Deprecated List<NodeInfo> getNodeOrder()
int[] getLogicalFunctions()
getNodeOrder().
These functions are just identifiers, actual functions are stored in
the MDD factory provided by getMDDManager.List<NodeInfo> getExtraComponents()
getExtraLogicalFunctions() method.int[] getExtraLogicalFunctions()
getExtraNodes().
These functions are just identifiers, actual functions are stored in
the MDD factory provided by getMDDManager().byte getTargetValue(int componentIdx,
byte[] state)
componentIdx - index of the component in the core node orderstate - value of componentsbyte getExtraValue(int componentIdx,
byte[] state)
componentIdx - index of the component in the extra node orderstate - value of componentsLogicalModel clone()
LogicalModel getView(List<NodeInfo> neworder)
neworder - the desired ordered list of componentsboolean isBoolean()
NodeInfo getComponent(String s_source)
s_source - the name of the componentCopyright © 2012-2017. All Rights Reserved.