Implication.java

Go to the documentation of this file.

package edu.tum.cs.logic;

import edu.tum.cs.srl.Database;

import java.util.Collection;

public class Implication extends ComplexFormula {
        public Implication(Collection<Formula> c) throws Exception {
                super(c);
                if(c.size() != 2)
                        throw new Exception("An implication must have exactly two children (antecedent and consequent).");
        }
        
        public Implication(Formula antecedent, Formula consequent) {
                super(new Formula[]{antecedent, consequent});
        }
        
        public String toString() {
                return "(" + children[0] + " => " + children[1] + ")"; 
        }

        @Override
        public boolean isTrue(IPossibleWorld w) {               
                return !children[0].isTrue(w) || children[1].isTrue(w);
        }

        @Override
        public Formula toCNF() {                
                return new Disjunction(new Negation(children[0]), children[1]).toCNF();
        }
        
        @Override
        public Formula toNNF() {                
                return new Disjunction(new Negation(children[0]), children[1]).toNNF();
        }

    @Override
    public Formula simplify(Database evidence) {
        return (new Disjunction(new Negation(children[0]), children[1])).simplify(evidence);
    }
}

---

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