Uses of Class
astra.formula.Inference

Packages that use Inference

Package	Description
astra.core

Uses of Inference in astra.core

Methods in astra.core with parameters of type Inference

Modifier and Type	Method	Description
void	ASTRAClass.addInference(Inference inference)