public class Conflict
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
Conflict.Types |
Constructor and Description |
---|
Conflict() |
Conflict(Model model1,
Model model2,
ru.ispras.fortress.expression.NodeVariable conflictVariable,
Conflict.Types conflictType,
java.util.List<GuardedAction> path)
Constructs EfsmConflict using the specified values.
|
Modifier and Type | Method and Description |
---|---|
java.util.List<Model> |
getModelPair()
Returns the pair of models.
|
java.util.List<GuardedAction> |
getPath()
Returns the path from the conflict state to the initial state.
|
Conflict.Types |
getType()
Returns the type of conflict.
|
ru.ispras.fortress.expression.NodeVariable |
getVariable()
Returns the conflicting variable.
|
void |
setModelPair(Model model1,
Model model2)
Sets a pair of models.
|
void |
setPath(java.util.List<GuardedAction> path) |
void |
setType(Conflict.Types conflictType)
Sets the type of a conflict.
|
void |
setVariable(ru.ispras.fortress.expression.NodeVariable conflictVariable)
Sets a new conflicting variable.
|
java.lang.String |
toString() |
public Conflict(Model model1, Model model2, ru.ispras.fortress.expression.NodeVariable conflictVariable, Conflict.Types conflictType, java.util.List<GuardedAction> path)
model1
- the first Model
;model2
- the second Model
;conflictVariable
- conflicting NodeVariable
;conflictType
- conflict type (Conflict.Types
).public Conflict()
public java.util.List<GuardedAction> getPath()
public void setPath(java.util.List<GuardedAction> path)
public java.util.List<Model> getModelPair()
List
containing the pair of Models.public void setModelPair(Model model1, Model model2)
model1
- the first Model;model2
- the second Model.public ru.ispras.fortress.expression.NodeVariable getVariable()
NodeVariable
public void setVariable(ru.ispras.fortress.expression.NodeVariable conflictVariable)
conflictVariable
- - the specified NodeVariable
.public Conflict.Types getType()
public void setType(Conflict.Types conflictType)
conflictType
- - the specified Conflict.Types
.public java.lang.String toString()
toString
in class java.lang.Object