Uses of Class
alice.tuprolog.OperatorManager

Packages that use OperatorManager

alice.tuprolog

Uses of OperatorManager in alice.tuprolog

Methods in alice.tuprolog with parameters of type OperatorManager

static Term	Term.parse(java.lang.String st, OperatorManager op) Parse a Term from a string.
static Term	Parser.toTerm(java.lang.String st, OperatorManager op) Static service to get a term from its string representation, providing a specific operator manager

Constructors in alice.tuprolog with parameters of type OperatorManager

Parser(OperatorManager op, java.lang.String theoryText)
creating a Parser specifing how to handle operators and what text to parse