// Path: src/main/java/de/danielbasedow/prospecter/core/query/Condition.java
// public class Condition implements ClauseNode {
//     private final String fieldName;
//     private final Token token;
// 
//     /**
//      * if "not" is set the condition will result in a posting in a "NOT-index"
//      */
//     private boolean not;
// 
//     public Condition(String fieldName, Token token) {
//         this.fieldName = fieldName;
//         this.token = token;
//         this.not = false;
//     }
// 
//     public Condition(String fieldName, Token token, boolean not) {
//         this.fieldName = fieldName;
//         this.token = token;
//         this.not = not;
//     }
// 
//     public String getFieldName() {
//         return fieldName;
//     }
// 
//     public Token getToken() {
//         return token;
//     }
// 
//     public boolean isNot() {
//         return not;
//     }
// 
//     public void setNot(boolean not) {
//         this.not = not;
//     }
// 
//     @Override
//     public boolean isLeaf() {
//         return true;
//     }
// 
//     /**
//      * AIMA symbols need a unique, java conform name
//      *
//      * @return symbol name for use in AIMA
//      */
//     public String getSymbolName() {
//         return fieldName + token.getCondition().name() + token.getToken().toString();
//     }
// }


import aima.core.logic.propositional.parsing.ast.AtomicSentence;
import de.danielbasedow.prospecter.core.query.Condition;
package de.danielbasedow.prospecter.core.query.build;


public class PropositionSymbol extends AtomicSentence implements aima.core.logic.propositional.parsing.ast.PropositionSymbol {
    public static final String TRUE_SYMBOL = "True";
    public static final String FALSE_SYMBOL = "False";
    public static final AbstractPropositionalSymbol TRUE = new AbstractPropositionalSymbol(TRUE_SYMBOL);
    public static final AbstractPropositionalSymbol FALSE = new AbstractPropositionalSymbol(FALSE_SYMBOL);

// Path: src/main/java/de/danielbasedow/prospecter/core/query/Condition.java
// public class Condition implements ClauseNode {
//     private final String fieldName;
//     private final Token token;
// 
//     /**
//      * if "not" is set the condition will result in a posting in a "NOT-index"
//      */
//     private boolean not;
// 
//     public Condition(String fieldName, Token token) {
//         this.fieldName = fieldName;
//         this.token = token;
//         this.not = false;
//     }
// 
//     public Condition(String fieldName, Token token, boolean not) {
//         this.fieldName = fieldName;
//         this.token = token;
//         this.not = not;
//     }
// 
//     public String getFieldName() {
//         return fieldName;
//     }
// 
//     public Token getToken() {
//         return token;
//     }
// 
//     public boolean isNot() {
//         return not;
//     }
// 
//     public void setNot(boolean not) {
//         this.not = not;
//     }
// 
//     @Override
//     public boolean isLeaf() {
//         return true;
//     }
// 
//     /**
//      * AIMA symbols need a unique, java conform name
//      *
//      * @return symbol name for use in AIMA
//      */
//     public String getSymbolName() {
//         return fieldName + token.getCondition().name() + token.getToken().toString();
//     }
// }


// Path: src/main/java/de/danielbasedow/prospecter/core/query/build/PropositionSymbol.java
import aima.core.logic.propositional.parsing.ast.AtomicSentence;
import de.danielbasedow.prospecter.core.query.Condition;

package de.danielbasedow.prospecter.core.query.build;


public class PropositionSymbol extends AtomicSentence implements aima.core.logic.propositional.parsing.ast.PropositionSymbol {
    public static final String TRUE_SYMBOL = "True";
    public static final String FALSE_SYMBOL = "False";
    public static final AbstractPropositionalSymbol TRUE = new AbstractPropositionalSymbol(TRUE_SYMBOL);
    public static final AbstractPropositionalSymbol FALSE = new AbstractPropositionalSymbol(FALSE_SYMBOL);

    private final Condition condition;