/*
 * Copyright (c) 2012 Mateusz Parzonka, Eric Bodden
 * All rights reserved. This program and the accompanying materials
 * are made available under the terms of the Eclipse Public License v1.0
 * which accompanies this distribution, and is available at
 * http://www.eclipse.org/legal/epl-v10.html
 *
 * Contributors:
 * Mateusz Parzonka - initial API and implementation
 */
package prm4j.logic;

import prm4j.indexing.treebased.MonitorSet;
import prm4j.indexing.treebased.Node;
import prm4j.indexing.treebased.NodeMap;

public interface NodeContext<A> {

    public ChainingData[] getChainingData();

    public MonitorSet<A> createMonitorSet();

    public Node<A> createNode();

    public NodeMap<A> createNodeMap();

}

@@ -517,16 +517,245 @@
 deMap;%0A%0A
+/**%0A * Every %7B@link Node%7D is equipped with a NodeContext, containing factory methods and providing statically computed%0A * algorithm logic.%0A *%0A * @param %3CA%3E%0A *            the type of the auxiliary data usable by base monitors%0A */%0A
 public i

Improve comments