Uses of Class
org.opennars.language.Equivalence

Packages that use Equivalence

Package	Description
org.opennars.inference	The inference rules and control functions
org.opennars.language	Term hierarchy in Narsese Open-NARS implements the following formal language, Narsese.

Uses of Equivalence in org.opennars.inference

Methods in org.opennars.inference with parameters of type Equivalence

Modifier and Type	Method	Description
(package private) static void	SyllogisticRules.conditionalAna(Equivalence premise1, short index, Term premise2, int side, DerivationContext nal)	{<(&&, S1, S2, S3) <=> P>, S1} |- <(&&, S2, S3) <=> P> {<(&&, S2, S3) <=> P>, <S1 ==> S2>} |- <(&&, S1, S3) <=> P> {<(&&, S1, S3) <=> P>, <S1 ==>

Uses of Equivalence in org.opennars.language

Methods in org.opennars.language that return Equivalence

Modifier and Type	Method	Description
Equivalence	Equivalence.clone()	Clone an object
Equivalence	Equivalence.clone(Term[] t)
static Equivalence	Equivalence.make(Term subject, Term predicate)	Try to make a new compound from two term.
static Equivalence	Equivalence.make(Term subject, Term predicate, int temporalOrder)