Class SpecificVariablesInSubstitutionMapToConstant

java.lang.Object

fr.inria.rules.integraal.model.logicalElements.functional.SpecificVariablesInSubstitutionMapToConstant

All Implemented Interfaces:

org.apache.commons.collections4.Predicate<Substitution>

public class SpecificVariablesInSubstitutionMapToConstant
extends Object
implements org.apache.commons.collections4.Predicate<Substitution>

Predicate used to filter substitutions whose selected variables map to constants.

Constructor Summary

Constructors

Constructor	Description
SpecificVariablesInSubstitutionMapToConstant(Collection<Variable> vars)	Creates the predicate for a given set of variables.

Method Summary

Modifier and Type	Method	Description
boolean	evaluate(Substitution s)

Methods inherited from class Object

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

Constructor Details

SpecificVariablesInSubstitutionMapToConstant

public SpecificVariablesInSubstitutionMapToConstant(Collection<Variable> vars)

Creates the predicate for a given set of variables.

Parameters:

vars - the variables that must map to constants

Method Details

evaluate

public boolean evaluate(Substitution s)

Specified by:

evaluate in interface org.apache.commons.collections4.Predicate<Substitution>