@@ -0,0 +1,1253 @@
+package de.tudresden.inf.lat.born.core.rule;%0A%0Aimport java.util.Collections;%0Aimport java.util.List;%0Aimport java.util.Objects;%0A%0Aimport de.tudresden.inf.lat.born.core.term.Term;%0A%0A/**%0A * This is an empty completion rule for ProbLog.%0A * %0A * @author Julian Mendez%0A *%0A */%0Apublic class EmptyRule implements CompletionRule %7B%0A%0A%09public static final String BEGIN_COMMENT = %22%25%22;%0A%09public static final String END_COMMENT = %22%5Cn%22;%0A%0A%09private final String comment;%0A%0A%09/**%0A%09 * Constructs a new empty rule.%0A%09 */%0A%09public EmptyRule() %7B%0A%09%09this.comment = %22%22;%0A%09%7D%0A%0A%09public EmptyRule(String comment) %7B%0A%09%09Objects.requireNonNull(comment);%0A%09%09this.comment = comment;%0A%09%7D%0A%0A%09@Override%0A%09public Term getHead() %7B%0A%09%09return null;%0A%09%7D%0A%0A%09@Override%0A%09public List%3CTerm%3E getBody() %7B%0A%09%09return Collections.emptyList();%0A%09%7D%0A%0A%09@Override%0A%09public String asString() %7B%0A%09%09return BEGIN_COMMENT + comment + END_COMMENT;%0A%09%7D%0A%0A%09@Override%0A%09public boolean equals(Object obj) %7B%0A%09%09if (this == obj) %7B%0A%09%09%09return true;%0A%09%09%7D else if (!(obj instanceof EmptyRule)) %7B%0A%09%09%09return false;%0A%09%09%7D else %7B%0A%09%09%09EmptyRule other = (EmptyRule) obj;%0A%09%09%09return this.comment.equals(other.comment);%0A%09%09%7D%0A%09%7D%0A%0A%09@Override%0A%09public int hashCode() %7B%0A%09%09return this.comment.hashCode();%0A%09%7D%0A%0A%09@Override%0A%09public String toString() %7B%0A%09%09return asString();%0A%09%7D%0A%0A%7D%0A

Add empty rule