TrueFalse.java

Go to the documentation of this file.

package edu.tum.cs.logic;

import java.util.Map;
import java.util.Set;

import edu.tum.cs.srl.Database;

public class TrueFalse extends Formula {
        
        public static TrueFalse FALSE = new TrueFalse(false);
        public static TrueFalse TRUE = new TrueFalse(true);

        public static TrueFalse getInstance(boolean isTrue) {
                return isTrue ? TRUE : FALSE;
        }

        protected boolean isTrue;

        private TrueFalse(boolean isTrue) {
                this.isTrue = isTrue;
        }

        @Override
        public void getVariables(Database db, Map<String, String> ret) {
        }

        @Override
        public Formula ground(Map<String, String> binding, WorldVariables vars, Database db) throws Exception {
                return this;
        }

        @Override
        public void getGroundAtoms(Set<GroundAtom> ret) {
        }

        @Override
        public boolean isTrue(IPossibleWorld w) {
                return isTrue;
        }

        public boolean isTrue() {
                return isTrue;
        }

        @Override
        public String toString() {
                return isTrue ? "True" : "False";
        }

        @Override
        public Formula toCNF() {
                return this;
        }
        
        @Override
        public Formula toNNF() {
                return this;
        }

    @Override
    public Formula simplify(Database evidence) {
        return this;
    }
    
    public TrueFalse opposite() {
        if(isTrue)
                return FALSE;
        return TRUE;
    }
}

---

srldb
Author(s): Dominik Jain, Stefan Waldherr, Moritz Tenorth
autogenerated on Fri Jan 11 09:58:30 2013