it.unitn.disi.smatch.matchers.structure.node
Class DefaultNodeMatcher

java.lang.Object
  it.unitn.disi.smatch.matchers.structure.node.BaseNodeMatcher
      it.unitn.disi.smatch.matchers.structure.node.DefaultNodeMatcher

All Implemented Interfaces:

INodeMatcher

public class DefaultNodeMatcher
extends BaseNodeMatcher
implements INodeMatcher

Default node matcher.

Author:

Mikalai Yatskevich mikalai.yatskevich@comlab.ox.ac.uk, Aliaksandr Autayeu avtaev@gmail.com

Field Summary

Fields inherited from class it.unitn.disi.smatch.matchers.structure.node.BaseNodeMatcher

satSolver

Constructor Summary

DefaultNodeMatcher()

Method Summary

char	nodeMatch(IMatchMatrix cLabMatrix, INode sourceNode, INode targetNode) Matches two nodes and returns a relation between them.

Methods inherited from class it.unitn.disi.smatch.matchers.structure.node.BaseNodeMatcher

changeSign, DIMACSfromVector, getRelationString, isUnsatisfiable, mkAxioms, negateFormulaInVector, parseFormula

Methods inherited from class java.lang.Object

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

Constructor Detail

DefaultNodeMatcher

public DefaultNodeMatcher()

Method Detail

nodeMatch

public char nodeMatch(IMatchMatrix cLabMatrix,
                      INode sourceNode,
                      INode targetNode)
               throws SMatchException

Description copied from interface: INodeMatcher

Matches two nodes and returns a relation between them.

Specified by:

nodeMatch in interface INodeMatcher

Parameters:

cLabMatrix - a matrix of relations between atomic concepts.

sourceNode - source node

targetNode - target node

Returns:

relation between source and target nodes.

Throws:

SMatchException