|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use TemporalValue | |
|---|---|
| nars.entity | Data entities that are independently stored |
| nars.inference | The inference rules and control functions |
| nars.language | Term hierarchy in Narsese |
| nars.main | Top-level classes of the system |
| Uses of TemporalValue in nars.entity |
|---|
| Fields in nars.entity declared as TemporalValue | |
|---|---|
protected TemporalValue |
Sentence.temporalOrder
Temporal order between the components |
| Methods in nars.entity that return TemporalValue | |
|---|---|
static TemporalValue |
TemporalValue.getReverse(TemporalValue t)
Get the reverse temporal difference of a given one |
TemporalValue |
Sentence.getTense()
Get the tense of the Sentence |
TemporalValue |
Task.getTense()
Directly get the tense of the sentence |
TemporalValue |
Stamp.orderWith(Stamp that)
Compare two Stamps for their temporal order |
| Methods in nars.entity with parameters of type TemporalValue | |
|---|---|
static boolean |
TemporalValue.closer(TemporalValue t1,
TemporalValue t2,
TemporalValue t)
Check if the first temporal valie is closer to the given time than the second |
static boolean |
TemporalValue.equal(TemporalValue t1,
TemporalValue t2)
Check if two temporal values have the same content |
static TemporalValue |
TemporalValue.getReverse(TemporalValue t)
Get the reverse temporal difference of a given one |
static Sentence |
Sentence.make(Sentence oldS,
Term term,
TruthValue truth,
Stamp stamp,
TemporalValue tense)
Make a derived Sentence from a template and some initial values. |
static Sentence |
Sentence.make(Term term,
char punc,
TruthValue truth,
Stamp stamp,
TemporalValue tense)
Make a Sentence from an input String. |
| Uses of TemporalValue in nars.inference |
|---|
| Methods in nars.inference that return TemporalValue | |
|---|---|
static TemporalValue |
TemporalRules.syllogistic(TemporalValue r12,
TemporalValue r23)
Temporal relationships among three terms |
static TemporalValue |
TemporalRules.syllogistic(TemporalValue r1,
TemporalValue r2,
int figure)
Temporal inference in syllogism, with figure |
static TemporalValue |
TemporalRules.tenseInduction(TemporalValue tense1,
TemporalValue tense2)
The temporal inference on tenses |
static TemporalValue |
TemporalRules.tenseSyllogistic(TemporalValue r12,
long time1,
TemporalValue r23)
Temporal relationships among three terms, with creasion time |
| Methods in nars.inference with parameters of type TemporalValue | |
|---|---|
private static void |
MatchingRules.inferToAsym(Judgment asym,
Judgment sym,
TemporalValue order)
{ S>} |- |
static TemporalValue |
TemporalRules.syllogistic(TemporalValue r12,
TemporalValue r23)
Temporal relationships among three terms |
static TemporalValue |
TemporalRules.syllogistic(TemporalValue r1,
TemporalValue r2,
int figure)
Temporal inference in syllogism, with figure |
static void |
SyllogisticRules.temporalIndCom(Task task1,
Task task2,
TemporalValue order)
{ S>, |
static TemporalValue |
TemporalRules.tenseInduction(TemporalValue tense1,
TemporalValue tense2)
The temporal inference on tenses |
static TemporalValue |
TemporalRules.tenseSyllogistic(TemporalValue r12,
long time1,
TemporalValue r23)
Temporal relationships among three terms, with creasion time |
| Uses of TemporalValue in nars.language |
|---|
| Fields in nars.language declared as TemporalValue | |
|---|---|
private TemporalValue |
Conjunction.temporalOrder
Temporal order between the components |
private TemporalValue |
Equivalence.temporalOrder
Temporal order between the components |
private TemporalValue |
Implication.temporalOrder
Temporal order between the components |
| Methods in nars.language that return TemporalValue | |
|---|---|
TemporalValue |
Conjunction.getOrder()
Return the temporal order. |
TemporalValue |
Equivalence.getOrder()
Get the temporal order. |
TemporalValue |
Implication.getOrder()
Get the order of the components. |
TemporalValue |
Term.getOrder()
Get the temporal order in a term, which is null by default |
| Methods in nars.language with parameters of type TemporalValue | |
|---|---|
static java.lang.String |
Conjunction.getConjunctionSymbol(TemporalValue t)
COnvert a temporal into its String representation |
static java.lang.String |
Equivalence.getEquivalenceSymbol(TemporalValue t)
Get the symbole of the relation by tense |
static java.lang.String |
Implication.getSymbol(TemporalValue t)
Convert a TemporalValue into its String representation |
static Term |
Conjunction.make(java.util.ArrayList<Term> argList,
TemporalValue order)
Try to make a new compound from a list of components. |
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 Term |
Conjunction.make(Term term1,
Term term2,
TemporalValue order)
Try to make a new compound from two components. |
static Equivalence |
Equivalence.make(Term subject,
Term predicate,
TemporalValue order)
Try to make a new compound from two components. |
static Implication |
Implication.make(Term subject,
Term predicate,
TemporalValue order)
Try to make a new compound from two components. |
static Term |
Conjunction.make(java.util.TreeSet<Term> set,
TemporalValue order)
Try to make a new compound from a set of 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 |
| Constructors in nars.language with parameters of type TemporalValue | |
|---|---|
Conjunction(java.lang.String n,
java.util.ArrayList<Term> cs,
java.util.ArrayList<Variable> open,
short i,
TemporalValue order)
Constructor with full values, called by clone |
|
Conjunction(java.lang.String n,
java.util.ArrayList<Term> arg,
TemporalValue order)
Constructor with partial values, called by make |
|
Equivalence(java.lang.String n,
java.util.ArrayList<Term> cs,
java.util.ArrayList<Variable> open,
short i,
TemporalValue order)
Constructor with full values, called by clone |
|
Equivalence(java.lang.String n,
java.util.ArrayList<Term> arg,
TemporalValue order)
Constructor with partial values, called by make |
|
Implication(java.lang.String n,
java.util.ArrayList<Term> cs,
java.util.ArrayList<Variable> open,
short i,
TemporalValue order)
Constructor with full values, called by clone |
|
Implication(java.lang.String n,
java.util.ArrayList<Term> arg,
TemporalValue order)
Constructor with partial values, called by make |
|
| Uses of TemporalValue in nars.main |
|---|
| Fields in nars.main declared as TemporalValue | |
|---|---|
static TemporalValue |
Memory.currentTense
Shortcut to the derived tense |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||