// SPDX-FileCopyrightText: 2020 Roberto Posenato <roberto.posenato@univr.it>
//
// SPDX-License-Identifier: LGPL-3.0-or-later
package it.univr.di.cstnu.graph;

import it.univr.di.labeledvalue.Label;
import it.univr.di.labeledvalue.LabeledIntMap;
import it.univr.di.labeledvalue.LabeledIntTreeSimpleMap;

import java.io.Serial;
import java.util.logging.Logger;

/**
 * An implementation of OSTNUEdge where the labeled value set is not optimized for maintaining scenarios like ¬c,0, and c,1.
 *
 * @author posenato
 * @version $Rev: 840 $
 */
public class OSTNUEdgePluggable extends CSTNUEdgePluggable {

	/**
	 * Class for representing labeled values. Values mustn't be simplified with respect to the length of the labels. In other words, {(0,¬C), (1, C)} MUST NOT BE SIMPLIFIED as {(0,⊡), (1, C)}.
	 */
	static final Class<? extends LabeledIntMap> DEFAULT_LABELED_INT_MAP_CLASS = LabeledIntTreeSimpleMap.class;

	/**
	 *
	 */
	@Serial
	private static final long serialVersionUID = 1L;

	/*
	 * class initializer
	 */
	static {
		/*
		 * logger
		 */
		LOG = Logger.getLogger(OSTNUEdgePluggable.class.getName());
	}

	/**
	 *
	 */
	OSTNUEdgePluggable() {
		super((String) null, DEFAULT_LABELED_INT_MAP_CLASS);
	}

	/**
	 * @param n name of edge
	 */
	OSTNUEdgePluggable(String n) {
		super(n, DEFAULT_LABELED_INT_MAP_CLASS);
	}

	/**
	 * Constructor to clone the component.
	 *
	 * @param e the edge to clone.
	 */
	OSTNUEdgePluggable(Edge e) {
		super(e, DEFAULT_LABELED_INT_MAP_CLASS);
	}


	@Override
	public OSTNUEdgePluggable newInstance() {
		return new OSTNUEdgePluggable();
	}

	@Override
	public OSTNUEdgePluggable newInstance(Edge edge) {
		return new OSTNUEdgePluggable(edge);
	}

	@Override
	public OSTNUEdgePluggable newInstance(String name1) {
		return new OSTNUEdgePluggable(name1);
	}


	//For making this more general and suitable for a more general algorithm not based on labeled values

	/**
	 * @return the label without the label.
	 */
	public int getValue() {
		return this.getValue(Label.emptyLabel);
	}

	/**
	 * Allows the use of values without a label because it is possible to have a better algorithm in the future that avoids labeled values. This method must be used only if no values labeled by oracles are used.
	 *
	 * @param i new value
	 */
	public void setValue(int i) {
		this.mergeLabeledValue(Label.emptyLabel, i);

	}
}