org.bomba_lang.proto

Interface DisjunctiveImplicative

All Superinterfaces:

Implicative

All Known Implementing Classes:

Literal

public interface DisjunctiveImplicative
extends Implicative

"Worker" trait for head elements of rules, adding the necessary functional syntax to compose a rule.

Method Summary

Methods

Modifier and Type	Method and Description
org.bomba_lang.proto.BodilesRule	or(Literal newAtom) Parent method for head composition.
org.bomba_lang.proto.BodilesRule	v(Literal newAtom)

Methods inherited from interface org.bomba_lang.proto.Implicative

getHead, implies

Method Detail

or

org.bomba_lang.proto.BodilesRule or(Literal newAtom)

Parent method for head composition.

v

org.bomba_lang.proto.BodilesRule v(Literal newAtom)