public class LogicalModelImpl extends Object implements LogicalModel
| Constructor and Description |
|---|
LogicalModelImpl(List<NodeInfo> nodeOrder,
org.colomoto.mddlib.MDDManager ddmanager,
int[] functions) |
LogicalModelImpl(org.colomoto.mddlib.MDDManager ddmanager,
List<NodeInfo> coreNodes,
int[] coreFunctions,
List<NodeInfo> extraNodes,
int[] extraFunctions) |
| Modifier and Type | Method and Description |
|---|---|
LogicalModel |
clone()
Make a copy of this model.
|
LogicalModel |
clone(boolean keepExtra) |
void |
fillExtraValues(byte[] state,
byte[] extra)
Compute the value of all extra components for a given state.
|
Map<String,NodeInfo[]> |
getBooleanizedMap()
Get the Boolean - multi-valued mapping information for booleanized models.
|
NodeInfo |
getComponent(String id)
Retrieve a component by name.
|
int |
getComponentIndex(String id)
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 nodeIdx,
byte[] state)
Compute the value of an extra component for a given state.
|
ModelLayout |
getLayout()
Retrieve the associated layout information.
|
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.
|
byte |
getTargetValue(int nodeIdx,
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 |
hasExtraComponents()
Check if the model has extra component(s).
|
boolean |
hasLayout()
Check if this model has associated layout information.
|
boolean |
isBoolean()
Check if this model is Boolean.
|
public LogicalModelImpl(org.colomoto.mddlib.MDDManager ddmanager,
List<NodeInfo> coreNodes,
int[] coreFunctions,
List<NodeInfo> extraNodes,
int[] extraFunctions)
public org.colomoto.mddlib.MDDManager getMDDManager()
LogicalModelgetMDDManager in interface LogicalModelpublic List<NodeInfo> getComponents()
LogicalModelgetLogicalFunctions() method.getComponents in interface LogicalModelpublic int[] getLogicalFunctions()
LogicalModelgetNodeOrder().
These functions are just identifiers, actual functions are stored in
the MDD factory provided by getMDDManager.getLogicalFunctions in interface LogicalModelpublic List<NodeInfo> getExtraComponents()
LogicalModelgetExtraLogicalFunctions() method.getExtraComponents in interface LogicalModelpublic boolean hasExtraComponents()
LogicalModelhasExtraComponents in interface LogicalModelpublic int[] getExtraLogicalFunctions()
LogicalModelgetExtraNodes().
These functions are just identifiers, actual functions are stored in
the MDD factory provided by getMDDManager().getExtraLogicalFunctions in interface LogicalModelpublic LogicalModel clone()
LogicalModelclone in interface LogicalModelclone in class Objectpublic LogicalModel clone(boolean keepExtra)
clone in interface LogicalModelpublic byte getTargetValue(int nodeIdx,
byte[] state)
LogicalModelgetTargetValue in interface LogicalModelnodeIdx - index of the component in the core node orderstate - value of componentspublic byte getExtraValue(int nodeIdx,
byte[] state)
LogicalModelgetExtraValue in interface LogicalModelnodeIdx - index of the component in the extra node orderstate - value of componentspublic void fillExtraValues(byte[] state,
byte[] extra)
LogicalModelfillExtraValues in interface LogicalModelstate - value of componentsextra - an array of the right size to fillpublic LogicalModel getView(List<NodeInfo> neworder)
LogicalModelgetView in interface LogicalModelneworder - the desired ordered list of componentspublic boolean isBoolean()
LogicalModelisBoolean in interface LogicalModelpublic NodeInfo getComponent(String id)
LogicalModelgetComponent in interface LogicalModelid - the name of the componentpublic int getComponentIndex(String id)
LogicalModelgetComponentIndex in interface LogicalModelid - the name of the componentpublic Map<String,NodeInfo[]> getBooleanizedMap()
LogicalModelgetBooleanizedMap in interface LogicalModelpublic boolean hasLayout()
LogicalModelhasLayout in interface LogicalModelpublic ModelLayout getLayout()
LogicalModelgetLayout in interface LogicalModelCopyright © 2012–2020. All rights reserved.