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

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

All Implemented Interfaces:

INodeMatcher

public class EvalNodeMatcher
extends BaseNodeMatcher
implements INodeMatcher

Node matcher for evaluation purposes.

Author:

Aliaksandr Autayeu avtaev@gmail.com

Field Summary

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

satSolver

Constructor Summary

EvalNodeMatcher()

Method Summary

protected static java.lang.Object[]	mkAxioms(java.util.Hashtable<IAtomicConceptOfLabel,java.lang.Integer> hashConceptNumber, IMatchMatrix cLabMatrix, INode sourceNode, INode targetNode)
char	nodeMatch(IMatchMatrix cLabMatrix, INode sourceNode, INode targetNode) Matches two nodes and returns a relation between them.
java.lang.String	toCNF(java.lang.String formula)

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

EvalNodeMatcher

public EvalNodeMatcher()

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

mkAxioms

protected static java.lang.Object[] mkAxioms(java.util.Hashtable<IAtomicConceptOfLabel,java.lang.Integer> hashConceptNumber,
                                             IMatchMatrix cLabMatrix,
                                             INode sourceNode,
                                             INode targetNode)

toCNF

public java.lang.String toCNF(java.lang.String formula)