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
All Methods Instance Methods Concrete Methods Modifier and Type Method Description booleanequals(Object obj)Set<StateNode>getConditionalMethods()StringtoString()-
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
-
-
-
-
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
-
equals
public boolean equals(Object obj)
- Overrides:
equalsin classCrySLPredicate
-
toString
public String toString()
- Overrides:
toStringin classCrySLPredicate
-
-