it.unive.lisa.analysis.nonRedundantSet.ValueNonRedundantSet Maven / Gradle / Ivy

Go to download
package it.unive.lisa.analysis.nonRedundantSet;

import it.unive.lisa.analysis.value.ValueDomain;
import it.unive.lisa.symbolic.SymbolicExpression;
import it.unive.lisa.symbolic.value.Identifier;
import it.unive.lisa.symbolic.value.ValueExpression;
import java.util.SortedSet;

/**
 * This class expands the {@link NonRedundantPowerset} class fixing the type of
 * elements in the set to be {@link ValueDomain}, the {@link SymbolicExpression}
 * processable to be {@link ValueExpression} and the manageable
 * {@link Identifier} to be all the {@link Identifier}.
 *
 * @param  the concrete type of the elements in the sets
 */
public class ValueNonRedundantSet>
		extends
		NonRedundantPowerset, T, ValueExpression, Identifier> {

	/**
	 * Builds the value non redundant set.
	 *
	 * @param elements    the set of elements of the set
	 * @param isTop       whether or not the element is the top element
	 * @param valueDomain an element representing the types of elements in the
	 *                        set
	 */
	public ValueNonRedundantSet(
			SortedSet elements,
			boolean isTop,
			T valueDomain) {
		super(elements, isTop, valueDomain);
	}

	@Override
	public ValueNonRedundantSet mk(
			SortedSet set,
			boolean isTop,
			T valueDomain) {
		return new ValueNonRedundantSet<>(set, isTop, valueDomain);
	}

	@Override
	public boolean isBottom() {
		return !this.isTop && this.elements.isEmpty();
	}

	@Override
	public boolean isTop() {
		return this.isTop && this.elements.isEmpty();
	}

	@Override
	public boolean knowsIdentifier(
			Identifier id) {
		return elements.stream().anyMatch(e -> e.knowsIdentifier(id));
	}
}