Uses of Class
nars.language.Implication

Packages that use Implication

nars.inference	The inference rules and control functions
nars.language	Term hierarchy in Narsese

Uses of Implication in nars.inference

Methods in nars.inference with parameters of type Implication

(package private) static void	SyllogisticRules.conditionalDedInd(Implication premise1, short index, Term premise2, int side) {<(&&, S1, S2, S3) ==> P>, S1} |- <(&&, S2, S3) ==> P> {<(&&, S2, S3) ==> P>, S2>} |- <(&&, S1, S3) ==> P> {<(&&, S1, S3) ==> P>, S2>} |- <(&&, S2, S3) ==> P>
private static void	RuleTables.conditionalDedIndWithVar(Implication conditional, short index, Statement statement, short side) Conditional deduction or induction, with variable unification

Uses of Implication in nars.language

Methods in nars.language that return Implication

static Implication

Implication.make(Term subject, Term predicate, TemporalValue order) Try to make a new compound from two components.