Overview  Package   Class  Use  Deprecated  Index
Home >> All >> alice >> [ tuprolog overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---

alice.tuprolog
Class ClauseInfo  

java.lang.Object
  alice.tuprolog.ClauseInfo

All Implemented Interfaces:

java.io.Serializable

---

final class ClauseInfo

extends java.lang.Object

implements java.io.Serializable

class mantaining information about a clause creation ( Clause copy, final time T after renaming, validity flag Flag).

these info are necessary to get the clause correctly managed by theory manager

---

Field Summary
(package private)  Struct	clause           referring clause
(package private)  boolean	dynamic           if dynamic clause, then asserted/reatracted/user consulted
(package private)  boolean	flag           validity flag (if is false, then clause is not valid anymore because, for instance, it has been removed logically from theory, but phisically yet present)
(package private)  java.lang.String	libName           if the clause is part of a theory in a lib (null if not)
(package private)  int	timestamp           next Time Stamp after last used time in clause

 

Constructor Summary
(package private)	ClauseInfo(Struct clause_, int t, boolean dyn, java.lang.String libName)           building a valid clause with a time stamp = original time stamp + NumVar in clause
(package private)	ClauseInfo(Struct clause_, PrologVM engine, boolean dyn, java.lang.String libName)           building a clause ready to be saved in the dBase, rewriting 'fact' clauses (i.e.

 

Method Summary
private static java.lang.String	indentPredicates(Term t)
private static java.lang.String	indentPredicatesAsArgX(Term t, OperatorManager op, int p)
private static java.lang.String	indentPredicatesAsArgY(Term t, OperatorManager op, int p)
private  Struct	toClause(Term t)           gets a clause from a generic Term
java.lang.String	toString()           gets string representation with default operator representation
java.lang.String	toString(OperatorManager op)           gets the string representation recognizing operators stored by provided operator manager

 

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

 

Field Detail

clause

Struct clause

referring clause

---

timestamp

int timestamp

next Time Stamp after last used time in clause

---

flag

boolean flag

validity flag (if is false, then clause is not valid anymore because, for instance, it has been removed logically from theory, but phisically yet present)

---

dynamic

boolean dynamic

if dynamic clause, then asserted/reatracted/user consulted

clauses from libraries are static (library clauses are removed only removing the library itself)

---

libName

java.lang.String libName

if the clause is part of a theory in a lib (null if not)

Constructor Detail

ClauseInfo

ClauseInfo(Struct clause_,
           int t,
           boolean dyn,
           java.lang.String libName)

building a valid clause with a time stamp = original time stamp + NumVar in clause

---

ClauseInfo

ClauseInfo(Struct clause_,
           PrologVM engine,
           boolean dyn,
           java.lang.String libName)

building a clause ready to be saved in the dBase, rewriting 'fact' clauses (i.e. p(1) becomes p(1):-True.) and assigning correct values for clause Code field if the clause is a builtin predicate -

Method Detail

toClause

private Struct toClause(Term t)

gets a clause from a generic Term

---

toString

public java.lang.String toString(OperatorManager op)

gets the string representation recognizing operators stored by provided operator manager

---

toString

public java.lang.String toString()

gets string representation with default operator representation

---

indentPredicates

private static java.lang.String indentPredicates(Term t)

---

indentPredicatesAsArgX

private static java.lang.String indentPredicatesAsArgX(Term t,
                                                       OperatorManager op,
                                                       int p)

---

indentPredicatesAsArgY

private static java.lang.String indentPredicatesAsArgY(Term t,
                                                       OperatorManager op,
                                                       int p)

---

Overview  Package   Class  Use  Deprecated  Index
Home >> All >> alice >> [ tuprolog overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---