Premise (io.github.harvardpl:AbcDatalog 0.8.0 API)

All Known Implementing Classes:: AnnotatedAtom, BinaryDisunifier, BinaryUnifier, NegatedAtom, PositiveAtom

public interface Premise

A premise in the body of a clause. This interface is under-specified to allow the addition of new language features.

Method Summary

Modifier and Type

Method

Description

<I,O> O

accept(PremiseVisitor<I,O> visitor, I state)

Premise

applySubst(Substitution subst)

Method Details
- accept
  
  <I,O> O accept(PremiseVisitor<I,O> visitor, I state)
- applySubst
  
  Premise applySubst(Substitution subst)