org.kahina.logic.sat.io.free

Class NegationLayerVisitor

java.lang.Object

org.kahina.logic.sat.io.free.NegationLayerVisitor

All Implemented Interfaces:

BooleanFormulaVisitor<java.lang.Integer>

public class NegationLayerVisitor
extends java.lang.Object
implements BooleanFormulaVisitor<java.lang.Integer>

Constructor Summary

Constructors

Constructor and Description
NegationLayerVisitor()

Method Summary

Methods

Modifier and Type	Method and Description
java.lang.Integer	visitConjunction(Conjunction fm)
java.lang.Integer	visitConstant(BooleanConstant fm)
java.lang.Integer	visitDisjunction(Disjunction fm)
java.lang.Integer	visitNegation(Negation fm)
java.lang.Integer	visitVariable(BooleanVariable fm)

Methods inherited from class java.lang.Object

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

Constructor Detail

NegationLayerVisitor

public NegationLayerVisitor()

Method Detail

visitConjunction

public java.lang.Integer visitConjunction(Conjunction fm)

Specified by:

visitConjunction in interface BooleanFormulaVisitor<java.lang.Integer>

visitConstant

public java.lang.Integer visitConstant(BooleanConstant fm)

Specified by:

visitConstant in interface BooleanFormulaVisitor<java.lang.Integer>

visitDisjunction

public java.lang.Integer visitDisjunction(Disjunction fm)

Specified by:

visitDisjunction in interface BooleanFormulaVisitor<java.lang.Integer>

visitNegation

public java.lang.Integer visitNegation(Negation fm)

Specified by:

visitNegation in interface BooleanFormulaVisitor<java.lang.Integer>

visitVariable

public java.lang.Integer visitVariable(BooleanVariable fm)

Specified by:

visitVariable in interface BooleanFormulaVisitor<java.lang.Integer>