Package crypto.rules

Class CrySLCondPredicate

java.lang.Object

crypto.rules.CrySLLiteral

crypto.rules.CrySLPredicate

crypto.rules.CrySLCondPredicate

All Implemented Interfaces:

ICrySLPredicateParameter, ISLConstraint, Serializable

public class CrySLCondPredicate
extends CrySLPredicate

See Also:

Serialized Form

Field Summary

Fields inherited from class crypto.rules.CrySLPredicate

baseObject, constraint, negated, parameters, predName

Constructor Summary

Constructors

Constructor	Description
CrySLCondPredicate(ICrySLPredicateParameter baseObj, String name, List<ICrySLPredicateParameter> parameters, Boolean negated, Set<StateNode> nodes)
CrySLCondPredicate(ICrySLPredicateParameter baseObj, String name, List<ICrySLPredicateParameter> parameters, Boolean negated, Set<StateNode> nodes, ISLConstraint constraint)

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object obj)
Set<StateNode>	getConditionalMethods()
String	toString()

Methods inherited from class crypto.rules.CrySLPredicate

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

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

CrySLCondPredicate

public CrySLCondPredicate(ICrySLPredicateParameter baseObj,
                          String name,
                          List<ICrySLPredicateParameter> parameters,
                          Boolean negated,
                          Set<StateNode> nodes)

CrySLCondPredicate

public CrySLCondPredicate(ICrySLPredicateParameter baseObj,
                          String name,
                          List<ICrySLPredicateParameter> parameters,
                          Boolean negated,
                          Set<StateNode> nodes,
                          ISLConstraint constraint)

Method Detail

getConditionalMethods

public Set<StateNode> getConditionalMethods()

Returns:

the conditionalMethods

equals

public boolean equals(Object obj)

Overrides:

equals in class CrySLPredicate

toString

public String toString()

Overrides:

toString in class CrySLPredicate