Package crypto.rules

Class CrySLPredicate

java.lang.Object

crypto.rules.CrySLLiteral

crypto.rules.CrySLPredicate

All Implemented Interfaces:

ICrySLPredicateParameter, ISLConstraint, Serializable

Direct Known Subclasses:

CrySLCondPredicate, ParameterAwarePredicate

public class CrySLPredicate
extends CrySLLiteral

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
protected ICrySLPredicateParameter	baseObject
protected Optional<ISLConstraint>	constraint
protected boolean	negated
protected List<ICrySLPredicateParameter>	parameters
protected String	predName

Constructor Summary

Constructors

Constructor	Description
CrySLPredicate(ICrySLPredicateParameter baseObject, String name, List<ICrySLPredicateParameter> parameters, Boolean negated)
CrySLPredicate(ICrySLPredicateParameter baseObject, String name, List<ICrySLPredicateParameter> parameters, Boolean negated, ISLConstraint constraint)
CrySLPredicate(ICrySLPredicateParameter baseObject, String name, List<ICrySLPredicateParameter> parameters, Boolean negated, Optional<ISLConstraint> constraint)

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object obj)
ICrySLPredicateParameter	getBaseObject()
Optional<ISLConstraint>	getConstraint()
Set<String>	getInvolvedVarNames()
String	getName()
List<ICrySLPredicateParameter>	getParameters()
String	getPredName()
int	hashCode()
Boolean	isNegated()
CrySLPredicate	setNegated(boolean negated)
String	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

Field Detail

baseObject

protected final ICrySLPredicateParameter baseObject

predName

protected final String predName

parameters

protected final List<ICrySLPredicateParameter> parameters

negated

protected final boolean negated

constraint

protected final Optional<ISLConstraint> constraint

Constructor Detail

CrySLPredicate

public CrySLPredicate(ICrySLPredicateParameter baseObject,
                      String name,
                      List<ICrySLPredicateParameter> parameters,
                      Boolean negated)

CrySLPredicate

public CrySLPredicate(ICrySLPredicateParameter baseObject,
                      String name,
                      List<ICrySLPredicateParameter> parameters,
                      Boolean negated,
                      ISLConstraint constraint)

CrySLPredicate

public CrySLPredicate(ICrySLPredicateParameter baseObject,
                      String name,
                      List<ICrySLPredicateParameter> parameters,
                      Boolean negated,
                      Optional<ISLConstraint> constraint)

Method Detail

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

getBaseObject

public ICrySLPredicateParameter getBaseObject()

Returns:

the baseObject

getPredName

public String getPredName()

Returns:

the predName

getConstraint

public Optional<ISLConstraint> getConstraint()

Returns:

the optConstraint

getParameters

public List<ICrySLPredicateParameter> getParameters()

Returns:

the parameters

isNegated

public Boolean isNegated()

Returns:

the negated

toString

public String toString()

Overrides:

toString in class Object

getInvolvedVarNames

public Set<String> getInvolvedVarNames()

setNegated

public CrySLPredicate setNegated(boolean negated)

getName

public String getName()