Package crypto.rules

Class ParameterAwarePredicate

java.lang.Object

crypto.rules.CrySLLiteral

crypto.rules.CrySLPredicate

crypto.rules.ParameterAwarePredicate

All Implemented Interfaces:

ICrySLPredicateParameter, ISLConstraint, Serializable

public class ParameterAwarePredicate
extends CrySLPredicate

Extension of CrySLPredicate, to take the parameters into account, when checking for Equality.

See Also:

Serialized Form

Field Summary

Fields inherited from class crypto.rules.CrySLPredicate

baseObject, constraint, negated, parameters, predName

Constructor Summary

Constructors

Constructor	Description
ParameterAwarePredicate(ICrySLPredicateParameter baseObject, String name, List<ICrySLPredicateParameter> variables, Boolean negated)
ParameterAwarePredicate(ICrySLPredicateParameter baseObject, String name, List<ICrySLPredicateParameter> variables, Boolean negated, ISLConstraint constraint)

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object obj)
CrySLPredicate	toNormalPredicate()

Methods inherited from class crypto.rules.CrySLPredicate

getBaseObject, getConstraint, getInvolvedVarNames, getName, getParameters, getPredName, hashCode, isNegated, setNegated, toString

Methods inherited from class crypto.rules.CrySLLiteral

getLocation, setLocation

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

ParameterAwarePredicate

public ParameterAwarePredicate(ICrySLPredicateParameter baseObject,
                               String name,
                               List<ICrySLPredicateParameter> variables,
                               Boolean negated)

ParameterAwarePredicate

public ParameterAwarePredicate(ICrySLPredicateParameter baseObject,
                               String name,
                               List<ICrySLPredicateParameter> variables,
                               Boolean negated,
                               ISLConstraint constraint)

Method Detail

toNormalPredicate

public CrySLPredicate toNormalPredicate()

equals

public boolean equals(Object obj)

Overrides:

equals in class CrySLPredicate