it.unitn.disi.smatch.filters
Class RedundantFilterEQ

java.lang.Object
  it.unitn.disi.smatch.filters.RedundantFilter
      it.unitn.disi.smatch.filters.RedundantFilterEQ

All Implemented Interfaces:

IFilter

public class RedundantFilterEQ
extends RedundantFilter

Filters the matrix according to the minimal links paper, expanding EQ into MG&LG.

Author:

Aliaksandr Autayeu avtaev@gmail.com

Field Summary

Fields inherited from class it.unitn.disi.smatch.filters.RedundantFilter

CnodMatrix, condition1, condition2, condition3, condition4

Constructor Summary

RedundantFilterEQ()

Method Summary

protected boolean	verifyCondition1(INode C, INode D)
protected boolean	verifyCondition2(INode C, INode D)

Methods inherited from class it.unitn.disi.smatch.filters.RedundantFilter

filter, findRelation, findRelation, findRelation, findRelation, getRelation, verifyCondition3, verifyCondition4

Methods inherited from class java.lang.Object

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

Constructor Detail

RedundantFilterEQ

public RedundantFilterEQ()

Method Detail

verifyCondition1

protected boolean verifyCondition1(INode C,
                                   INode D)

Overrides:

verifyCondition1 in class RedundantFilter

verifyCondition2

protected boolean verifyCondition2(INode C,
                                   INode D)

Overrides:

verifyCondition2 in class RedundantFilter