Class IFlattenCallPredicate.And
- java.lang.Object
-
- org.eclipse.viatra.query.runtime.matchers.psystem.rewriters.IFlattenCallPredicate.And
-
- All Implemented Interfaces:
IFlattenCallPredicate
- Enclosing interface:
- IFlattenCallPredicate
public static class IFlattenCallPredicate.And extends java.lang.Object implements IFlattenCallPredicate
Flattens only if all operand predicates vote for flattening.- Since:
- 2.1
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface org.eclipse.viatra.query.runtime.matchers.psystem.rewriters.IFlattenCallPredicate
IFlattenCallPredicate.And
-
-
Constructor Summary
Constructors Constructor Description And(IFlattenCallPredicate... operands)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
shouldFlatten(PositivePatternCall positivePatternCall)
Decides whether the called query by the pattern call should be flattened into the caller or not.
-
-
-
Constructor Detail
-
And
public And(IFlattenCallPredicate... operands)
-
-
Method Detail
-
shouldFlatten
public boolean shouldFlatten(PositivePatternCall positivePatternCall)
Description copied from interface:IFlattenCallPredicate
Decides whether the called query by the pattern call should be flattened into the caller or not.- Specified by:
shouldFlatten
in interfaceIFlattenCallPredicate
- Parameters:
positivePatternCall
- the pattern call- Returns:
- true if the call should be flattened
-
-