Uses of Class
astra.term.Operator

Packages that use Operator

Package	Description
astra.term

Uses of Operator in astra.term

Methods in astra.term that return Operator

Modifier and Type	Method	Description
Operator	Operator.clone()
static Operator	Operator.newOperator(char op, Term left, Term right)