it.unitn.disi.smatch.classifiers
Class CNFClassifier

java.lang.Object
  it.unitn.disi.smatch.classifiers.CNFClassifier

All Implemented Interfaces:

IClassifier

public class CNFClassifier
extends java.lang.Object
implements IClassifier

Converts cLabFormula into CNF before use.

Author:

Aliaksandr Autayeu avtaev@gmail.com

Constructor Summary

CNFClassifier()

Method Summary

void	buildCNode(INode in) constructs cNode for the concept
IContext	buildCNodeFormulas(IContext context) Constructs concept@node formulas for all the nodes in the context Must be executed after buildCLabs.
java.lang.String	toCNF(INode in, java.lang.String formula)

Methods inherited from class java.lang.Object

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

Constructor Detail

CNFClassifier

public CNFClassifier()

Method Detail

buildCNodeFormulas

public IContext buildCNodeFormulas(IContext context)

Description copied from interface: IClassifier

Constructs concept@node formulas for all the nodes in the context Must be executed after buildCLabs.

Specified by:

buildCNodeFormulas in interface IClassifier

Parameters:

context - context

Returns:

processed context

buildCNode

public void buildCNode(INode in)

constructs cNode for the concept

Parameters:

in - node to process

toCNF

public java.lang.String toCNF(INode in,
                              java.lang.String formula)