Constructor and Description |
---|
DisjunctiveCauseSet(DisjunctiveCauseSetNode... nodes)
Initializes a new instance of the
DisjunctiveCauseSet class. |
DisjunctiveCauseSet(List<DisjunctiveCauseSetNode> nodes)
Initializes a new instance of the
DisjunctiveCauseSet class. |
Modifier and Type | Method and Description |
---|---|
List<DisjunctiveCauseSetNode> |
getNodes()
Gets the nodes in the set.
|
public DisjunctiveCauseSet(DisjunctiveCauseSetNode... nodes)
DisjunctiveCauseSet
class.nodes
- The disjunctive cause set nodes.public DisjunctiveCauseSet(List<DisjunctiveCauseSetNode> nodes)
DisjunctiveCauseSet
class.nodes
- The disjunctive cause set nodes.public List<DisjunctiveCauseSetNode> getNodes()
Copyright © 2023. All rights reserved.