Uses of Interface
org.bomba_lang.proto.Conjunctive

Uses of Conjunctive in org.bomba_lang.proto

Classes in org.bomba_lang.proto that implement Conjunctive

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

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

Modifier and Type	Method and Description
void	ProgSpec.conjunctiveRule(Conjunctive elem)