Class AllVariablesInSubstitutionMapToConstant

java.lang.Object

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

All Implemented Interfaces:

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

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

Predicate used to filter substitutions that do not map only to constants.

Constructor Summary

Constructors

Constructor	Description
AllVariablesInSubstitutionMapToConstant()	Creates the predicate.

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

AllVariablesInSubstitutionMapToConstant

public AllVariablesInSubstitutionMapToConstant()

Creates the predicate.

Method Details

evaluate

public boolean evaluate(Substitution s)

Specified by:

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