Drop unused methods from Rule interface. To be reinstated in RuleEx.

This commit is contained in:
Fedor Isakov 2019-12-12 09:52:49 +01:00
parent 955c814c3c
commit 01195cb1ac
3 changed files with 0 additions and 13 deletions

View File

@ -215,7 +215,6 @@ internal open class MatchJournalImpl(
override fun kind(): Kind = Kind.PROPAGATION
override fun uniqueTag(): Any = tag().hashCode()
override fun tag(): String = "initialrule${"initialrule".hashCode()}"
override fun basetag(): String = tag()
override fun headKept(): Iterable<Constraint> = emptyList()
override fun headReplaced(): Iterable<Constraint> = emptyList()
override fun guard(): Iterable<Predicate> = emptyList()

View File

@ -50,16 +50,6 @@ public abstract class Rule {
*/
public abstract String tag();
/**
* Human-readable identifier shared by all rules produced from the same template.
*/
public abstract String basetag();
/**
* An origin serves as justification for all constraints affected by this rule.
*/
public Object origin() { return null; }
public abstract Iterable<Constraint> headKept();
public abstract Iterable<Constraint> headReplaced();

View File

@ -89,8 +89,6 @@ class MockRule(
override fun tag(): String = tag
override fun basetag(): String = tag
override fun headKept(): Iterable<Constraint> = kept
override fun headReplaced(): Iterable<Constraint> = replaced