UngroundedFormula.java
Go to the documentation of this file.00001 package edu.tum.cs.logic; 00002 00003 import java.util.Set; 00004 00005 import edu.tum.cs.srl.Database; 00006 00007 public abstract class UngroundedFormula extends Formula { 00008 00009 @Override 00010 public void getGroundAtoms(Set<GroundAtom> ret) { 00011 throw new RuntimeException("Cannot obtain the set of ground atoms of an ungrounded formula: " + this.toString()); 00012 } 00013 00014 @Override 00015 public boolean isTrue(IPossibleWorld w) { 00016 throw new RuntimeException("Cannot determine the truth value of an ungrounded formula: " + this.toString()); 00017 } 00018 00019 @Override 00020 public Formula simplify(Database db) { 00021 throw new RuntimeException("Cannot simplify ungrounded formula: " + this.toString()); 00022 } 00023 }