Uses of Class org.jpc.term.unification.NonUnifiableException (JPC 0.0.1-alpha-SNAPSHOT API)

Packages that use NonUnifiableException
Package	Description
org.jpc.term.unification

Constructors in org.jpc.term.unification with parameters of type NonUnifiableException
Constructor and Description
`NonUnifiableException(Term term1, Term term2, NonUnifiableException cause)`

Uses of Classorg.jpc.term.unification.NonUnifiableException