Uses of Class
nars.language.Statement

Packages that use Statement

nars.inference	The inference rules and control functions
nars.io	Input/output management
nars.language	Term hierarchy in Narsese
nars.operation	Built-in operators

Uses of Statement in nars.inference

Methods in nars.inference that return Statement

private static Statement

SyllogisticRules.introVarInd(Sentence sentence1, Sentence sentence2, int figure, boolean isImplication) { S>, P>} |- <<#x --> S> ==> <#x --> P>> { S>, P>} |- <<#x --> S> <=> <#x --> P>>

Methods in nars.inference with parameters of type Statement

private static void	RuleTables.componentAndStatement(CompoundTerm compound, short index, Statement statement, short side) Inference between a component term (of the current term) and a statement
private static void	RuleTables.compoundAndStatement(CompoundTerm compound, short index, Statement statement, short side, Term beliefTerm) Inference between a compound term and a statement
(package private) static boolean	SyllogisticRules.conditionalAbd(Term cond1, Term cond2, Statement st1, Statement st2) {<(&&, S2, S3) ==> P>, <(&&, S1, S3) ==> P>} |- S2>
private static void	RuleTables.conditionalDedIndWithVar(Implication conditional, short index, Statement statement, short side) Conditional deduction or induction, with variable unification
(package private) static void	StructuralRules.contraposition(Statement statement) { B>, A@(--, A)} |- <(--, B) ==> (--, A)>
private static Conjunction	CompositionalRules.introVarDep(Statement premise1, Statement premise2, int index) { S>, P>} |- (&&, <#x() --> S>, <#x() --> P>>
private static void	CompositionalRules.introVarDepOuter(Statement premise1, Statement premise2, int index) Introduce a dependent variable in an outer-layer conjunction
(package private) static void	SyllogisticRules.introVarIndInner(Statement premise1, Statement premise2, CompoundTerm oldCompound) { S>, P>>} |- <(&&, <#x --> S>, C) ==> <#x --> P>> { S>, (&&, C, P>)} |- (&&, C, <<#x --> S> ==> <#x --> P>>)
private static void	CompositionalRules.processComposed(Statement statement, Term subject, Term predicate, TruthValue truth) Finish composing compound term
(package private) static void	StructuralRules.structuralCompose1(CompoundTerm compound, short index, Statement statement) { P>, P@(P&Q)} |- (P&Q)>
(package private) static void	StructuralRules.structuralCompose2(CompoundTerm compound, short index, Statement statement, short side) { P>, S@(S&T)} |- <(S&T) --> (P&T)> { P>, S@(M-S)} |- <(M-P) --> (M-S)>
(package private) static void	StructuralRules.structuralDecompose1(CompoundTerm compound, short index, Statement statement) {<(S&T) --> P>, S@(S&T)} |- P>
(package private) static void	StructuralRules.structuralDecompose2(Statement statement) {<(S&T) --> (P&T)>, S@(S&T)} |- P>
(package private) static void	StructuralRules.transformSetRelation(CompoundTerm compound, Statement statement, short side) { {P}>} |- {P}>

Uses of Statement in nars.io

Methods in nars.io that return Statement

private static Statement

StringParser.parseStatement(java.lang.String s0) Parse a String to create a Statement.

Uses of Statement in nars.language

Subclasses of Statement in nars.language

class	Equivalence A Statement about an Equivalence relation.
class	Implication A Statement about an Inheritance relation.
class	Inheritance A Statement about an Inheritance relation.
class	Instance A Statement about an Instance relation, which is used only in Narsese for I/O, and translated into Inheritance for internal use.
class	InstanceProperty A Statement about an InstanceProperty relation, which is used only in Narsese for I/O, and translated into Inheritance for internal use.
class	Property A Statement about a Property relation, which is used only in Narsese for I/O, and translated into Inheritance for internal use.
class	Similarity A Statement about a Similarity relation.

Methods in nars.language that return Statement

static Statement	Statement.make(Statement statement, Term subj, Term pred) Make a Statement from given components, called by the rules
static Statement	Statement.make(Statement statement, Term subj, Term pred, TemporalValue t) Make a Statement from given components and temporal information, called by the rules
static Statement	Statement.make(java.lang.String relation, Term subject, Term predicate) Make a Statement from String, called by StringParser
static Statement	Instance.make(Term subject, Term predicate) Try to make a new compound from two components.
static Statement	InstanceProperty.make(Term subject, Term predicate) Try to make a new compound from two components.
static Statement	Property.make(Term subject, Term predicate) Try to make a new compound from two components.
static Statement	Statement.makeSym(Statement statement, Term subj, Term pred, TemporalValue t) Make a symmetric Statement from given components and temporal information, called by the rules

Methods in nars.language with parameters of type Statement

static Statement	Statement.make(Statement statement, Term subj, Term pred) Make a Statement from given components, called by the rules
static Statement	Statement.make(Statement statement, Term subj, Term pred, TemporalValue t) Make a Statement from given components and temporal information, called by the rules
static Statement	Statement.makeSym(Statement statement, Term subj, Term pred, TemporalValue t) Make a symmetric Statement from given components and temporal information, called by the rules

Uses of Statement in nars.operation

Methods in nars.operation with parameters of type Statement

private void

Operator.showExecution(Statement operation) Display a message in the output stream to indicate the execution of an operation