Uses of Interface
jtp.Substitutable

Packages that use Substitutable

jtp.fol

Provides classes representing structures of first order logic.

Uses of Substitutable in jtp.fol

Subinterfaces of Substitutable in jtp.fol

interface	Clause A disjunction of Literals.
interface	CNFSentence A sentence in Conjunctive Normal Form, i.e., a conjunction of Clauses.
interface	Literal This interface represents a first-order logic literal, that is, a simple relation-based sentence of the form (<rel> <arg1> <arg2> …) or (not (<rel> <arg1> <arg2> …)).

Classes in jtp.fol that implement Substitutable

class	DefaultClause Default implementation of Clause.
class	DefaultCNFSentence Default implementation of CNFSentence.
class	DefaultLiteral Default implementation of Literal.
class	SubstitutableList A List that can substitute any of its elements with other objects from a substitution mapping.
class	UnifyableList A List that implements the Unifyable interface.