Uses of Interface
org.bomba_lang.proto.DisjunctiveImplicative

Uses of DisjunctiveImplicative in org.bomba_lang.proto

Classes in org.bomba_lang.proto that implement DisjunctiveImplicative

Modifier and Type	Class and Description
class	Literal Basic Literal/Atom, building block of rules.

Methods in org.bomba_lang.proto with parameters of type DisjunctiveImplicative

Modifier and Type	Method and Description
void	ProgSpec.implicativeRule(DisjunctiveImplicative elem)