Uses of Class
net.sf.tweety.logics.fol.semantics.HerbrandBase

Packages that use HerbrandBase

Package	Description
net.sf.tweety.logics.ml.semantics

Uses of HerbrandBase in net.sf.tweety.logics.ml.semantics

Fields in net.sf.tweety.logics.ml.semantics declared as HerbrandBase

Modifier and Type	Field and Description
private HerbrandBase	ModalHerbrandBase.hBase