Class ClauseSuccessorClauseCollection
Denotes a class to implement the successorClause reference
public class ClauseSuccessorClauseCollection : ObservableOppositeSet<IClause, IClause>, IList, ICollection, INotifyCollectionChanged, INotifyCollectionChanging, INotifyPropertyChanged, ISetExpression<IClause>, ISet<IClause>, ICollectionExpression<IClause>, IEnumerableExpression<IClause>, IEnumerableExpression, ICollection<IClause>, IEnumerable<IClause>, IEnumerable
- Inheritance
-
ClauseSuccessorClauseCollection
- Implements
- Inherited Members
Constructors
ClauseSuccessorClauseCollection(IClause)
Creates a new instance
public ClauseSuccessorClauseCollection(IClause parent)
Parameters
parent
IClausethe parent Clause
Methods
SetOpposite(IClause, IClause)
Sets the opposite of the given item
protected override void SetOpposite(IClause item, IClause newParent)