public static class Cnf.Converter extends Object implements IConditionVisitor
condition
into conjunctive normal form.Constructor and Description |
---|
Converter() |
Modifier and Type | Method and Description |
---|---|
IConjunct |
convert(ICondition condition)
Converts the given condition into conjunctive normal form.
|
void |
visit(AllOf condition) |
void |
visit(AnyOf condition) |
void |
visit(AssertLess condition) |
void |
visit(AssertMore condition) |
void |
visit(AssertNotLess condition) |
void |
visit(AssertNotMore condition) |
void |
visit(Between condition) |
void |
visit(ContainsAll condition) |
void |
visit(ContainsAny condition) |
void |
visit(Equals condition) |
void |
visit(IConjunct condition) |
void |
visit(Not condition) |
public IConjunct convert(ICondition condition)
public void visit(AllOf condition)
visit
in interface IConditionVisitor
public void visit(AnyOf condition)
visit
in interface IConditionVisitor
public void visit(ContainsAll condition)
visit
in interface IConditionVisitor
public void visit(ContainsAny condition)
visit
in interface IConditionVisitor
public void visit(IConjunct condition)
visit
in interface IConditionVisitor
public void visit(Not condition)
visit
in interface IConditionVisitor
public void visit(AssertLess condition)
visit
in interface IConditionVisitor
public void visit(AssertMore condition)
visit
in interface IConditionVisitor
public void visit(AssertNotLess condition)
visit
in interface IConditionVisitor
public void visit(AssertNotMore condition)
visit
in interface IConditionVisitor
public void visit(Between condition)
visit
in interface IConditionVisitor
public void visit(Equals condition)
visit
in interface IConditionVisitor
Copyright © 2024 The Cornutum Project. All rights reserved.