Uses of Class
jtp.fol.SubstitutableList

Packages that use SubstitutableList

jtp.fol	Provides classes representing structures of first order logic.
jtp.fol.kif

Uses of SubstitutableList in jtp.fol

Subclasses of SubstitutableList in jtp.fol

class

UnifyableList A List that implements the Unifyable interface.

Methods in jtp.fol that return SubstitutableList

static SubstitutableList

SubstUtils.createList(Collection args) Returns instance of SubstitutableList that contains elements of Collection args.

Constructors in jtp.fol with parameters of type SubstitutableList

DefaultLiteral(Symbol relation, SubstitutableList args, boolean polarity)

Uses of SubstitutableList in jtp.fol.kif

Methods in jtp.fol.kif that return SubstitutableList

SubstitutableList

CodeGenerator.func(antlr.collections.AST _t)