net.ssehub.easy.reasoning.core.reasoner

Class ConstraintBase

java.lang.Object

net.ssehub.easy.reasoning.core.reasoner.ConstraintList

net.ssehub.easy.reasoning.core.reasoner.ConstraintBase

All Implemented Interfaces:

java.lang.Iterable<net.ssehub.easy.varModel.model.Constraint>

public class ConstraintBase
extends ConstraintList

Implements the constraint base, a combination of linked list and map in order to quickly store, retrieve and delete constraints to be evaluated.

Author:

Holger Eichelberger

Nested Class Summary

Nested classes/interfaces inherited from class net.ssehub.easy.reasoning.core.reasoner.ConstraintList

ConstraintList.IModificationListener, ConstraintList.Node

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.Map<net.ssehub.easy.varModel.model.Constraint,ConstraintList.Node>	mapping

Fields inherited from class net.ssehub.easy.reasoning.core.reasoner.ConstraintList

modCount

Constructor Summary

Constructors

Constructor and Description
ConstraintBase() Constructs an empty constraint base.

Method Summary

Modifier and Type	Method and Description
boolean	contains(net.ssehub.easy.varModel.model.Constraint constraint) Returns true if this list contains the specified constraint.
boolean	removeAll(java.util.Collection<? extends net.ssehub.easy.varModel.model.Constraint> constraints) Removes all elements from this list, which are also in constraints.

Methods inherited from class net.ssehub.easy.reasoning.core.reasoner.ConstraintList

add, addAll, addAll, addAll, addAll, addAll, addAll, addFirst, addLast, clear, getFirst, getLast, indexOf, isEmpty, iterator, pop, removeFirst, removeLast, setModificationListener, size, toArray, toCollection, toString, unlink

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Field Detail

mapping

private java.util.Map<net.ssehub.easy.varModel.model.Constraint,ConstraintList.Node> mapping

Constructor Detail

ConstraintBase

public ConstraintBase()

Constructs an empty constraint base.

Method Detail

contains

public boolean contains(net.ssehub.easy.varModel.model.Constraint constraint)

Description copied from class: ConstraintList

Returns true if this list contains the specified constraint. More formally, returns true if and only if this list contains at least one constraint constraint such that o == constraint.

Overrides:

contains in class ConstraintList

Parameters:

constraint - the constraint whose presence in this list is to be tested

Returns:

true if this list contains the specified element

removeAll

public boolean removeAll(java.util.Collection<? extends net.ssehub.easy.varModel.model.Constraint> constraints)

Description copied from class: ConstraintList

Removes all elements from this list, which are also in constraints.

Overrides:

removeAll in class ConstraintList

Parameters:

constraints - the elements to remove

Returns:

the removed elements