net.ssehub.easy.reasoning.core.reasoner

Class ConstraintList.Node

java.lang.Object

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

Enclosing class:

ConstraintList

protected static class ConstraintList.Node
extends java.lang.Object

The node type in a linked constraint base.

Author:

Holger Eichelberger

Field Summary

Fields

Modifier and Type	Field and Description
private net.ssehub.easy.varModel.model.Constraint	constraint
private ConstraintList.Node	next
private ConstraintList.Node	prev

Constructor Summary

Constructors

Modifier	Constructor and Description
private	Node(ConstraintList.Node prev, net.ssehub.easy.varModel.model.Constraint constraint, ConstraintList.Node next) Creates a node.

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

constraint

private net.ssehub.easy.varModel.model.Constraint constraint

next

private ConstraintList.Node next

prev

private ConstraintList.Node prev

Constructor Detail

Node

private Node(ConstraintList.Node prev,
             net.ssehub.easy.varModel.model.Constraint constraint,
             ConstraintList.Node next)

Creates a node.

Parameters:

prev - the previous node

constraint - the constraint assigned to the node

next - the next node