Package tools.refinery.language.semantics.internal

Class MutableRelationCollector

java.lang.Object

tools.refinery.language.semantics.internal.MutableRelationCollector

public class MutableRelationCollector
extends Object

Constructor Summary

Constructors

Constructor	Description
MutableRelationCollector()

Method Summary

Modifier and Type	Method	Description
void	collectMutableRelations(Collection<Problem> problems)
void	collectMutableRelations(Problem problem)
boolean	isMutable(Relation relation)

Methods inherited from class java.lang.Object

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

Constructor Details

MutableRelationCollector

public MutableRelationCollector()

Method Details

isMutable

public boolean isMutable(Relation relation)

collectMutableRelations

public void collectMutableRelations(Collection<Problem> problems)

collectMutableRelations

public void collectMutableRelations(Problem problem)