openllet.reachability.OrNode Maven / Gradle / Ivy

// Copyright (c) 2006 - 2015, Clark & Parsia, LLC. 
// This source code is available under the terms of the Affero General Public License v3.
//
// Please see LICENSE.txt for full license terms, including the availability of proprietary exceptions.
// Questions, comments, or requests for clarification: [email protected]

package openllet.reachability;

/**
 * @author Evren Sirin
 */
public class OrNode extends Node
{

	private final int _id;

	private boolean _active = false;

	public OrNode(final int id)
	{
		this._id = id;
	}

	@Override
	public boolean inputActivated()
	{
		return _active ? false : (_active = true);
	}

	@Override
	public boolean isActive()
	{
		return _active;
	}

	@Override
	public boolean isRedundant()
	{
		if (_inputs.size() <= 1)
			return true;

		for (final Node output : _outputs)
			if (output instanceof AndNode)
				return false;

		return true;
	}

	@Override
	public void reset()
	{
		_active = false;
	}

	@Override
	public String toString()
	{
		return "Or(" + _id + ")[" + (_active ? "1" : "0") + "]";
	}
}