Package tools.refinery.interpreter.localsearch.matcher.integration

Class DontFlattenDisjunctive

java.lang.Object

tools.refinery.interpreter.localsearch.matcher.integration.DontFlattenDisjunctive

All Implemented Interfaces:

IFlattenCallPredicate

public class DontFlattenDisjunctive
extends Object
implements IFlattenCallPredicate

Forbids flattening of patterns that have more than one body.

Since:

2.1

Nested Class Summary

Nested classes/interfaces inherited from interface tools.refinery.interpreter.matchers.psystem.rewriters.IFlattenCallPredicate

IFlattenCallPredicate.And

Constructor Summary

Constructors

Constructor	Description
DontFlattenDisjunctive()

Method Summary

Modifier and Type	Method	Description
boolean	shouldFlatten(PositivePatternCall positivePatternCall)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

DontFlattenDisjunctive

public DontFlattenDisjunctive()

Method Details

shouldFlatten

public boolean shouldFlatten(PositivePatternCall positivePatternCall)

Specified by:

shouldFlatten in interface IFlattenCallPredicate