|
|||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
| Packages that use Struct | |
| alice.tuprolog | |
| alice.tuprolog.lib | |
| Uses of Struct in alice.tuprolog |
| Methods in alice.tuprolog that return Struct | |
Struct |
Struct.getArg(java.lang.String name)
Gets an argument inside this structure, given its name |
Struct |
Struct.listTail()
Gets the tail of this structure supposed to be alist |
| Methods in alice.tuprolog with parameters of type Struct | |
java.lang.reflect.Method |
Library.getLinkedMethod(Struct s)
Gets the method linked to a builtin (null value if the builtin has not any linked service) |
| Constructors in alice.tuprolog with parameters of type Struct | |
Theory(Struct clauseList)
Creates a theory from a clause list |
|
| Uses of Struct in alice.tuprolog.lib |
| Methods in alice.tuprolog.lib that return Struct | |
Struct |
JavaLibrary.register(java.lang.Object obj)
Registers an object, with automatic creation of the identifier. |
Struct |
JavaLibrary.registerDynamic(java.lang.Object obj)
Registers an object for the query life-time, with the automatic generation of the identifier. |
| Methods in alice.tuprolog.lib with parameters of type Struct | |
boolean |
JavaLibrary.java_object_3(Term className,
Struct arg,
Term id)
Creates of a java object - not backtrackable case |
boolean |
JavaLibrary.java_class_4(Struct classSource,
Struct className,
Struct classPathes,
Term id)
Creates of a java class |
boolean |
JavaLibrary.java_call_3(Term objId,
Struct method,
Term idResult)
Calls a method of a Java object |
boolean |
JavaLibrary.java_array_set_primitive_3(Struct objId,
Number index,
Term what)
|
boolean |
JavaLibrary.java_array_get_primitive_3(Struct objId,
Number index,
Term what)
|
boolean |
JavaLibrary.register(Struct id,
java.lang.Object obj)
Register an object with the specified id. |
java.lang.Object |
JavaLibrary.getRegisteredObject(Struct id)
Gets the reference to an object previously registered |
boolean |
JavaLibrary.unregister(Struct id)
Unregisters an object, given its identifier |
void |
JavaLibrary.registerDynamic(Struct id,
java.lang.Object obj)
Registers an object only for the running query life-time |
java.lang.Object |
JavaLibrary.getRegisteredDynamicObject(Struct id)
Gets a registered dynamic object (returns null if not presents) |
boolean |
JavaLibrary.unregisterDynamic(Struct id)
Unregister the object, only for dynamic case |
boolean |
ISOLibrary.atom_length_2(Struct arg0,
Term arg1)
|
boolean |
IOLibrary.see_1(Struct arg0)
|
boolean |
IOLibrary.tell_1(Struct arg0)
|
boolean |
IOLibrary.put_1(Struct arg0)
|
boolean |
IOLibrary.text_from_file_2(Struct fileName,
Term text)
reads a source text from a file. |
boolean |
BasicLibrary.set_theory_1(Struct theory)
sets a new theory provided as a text |
boolean |
BasicLibrary.add_theory_1(Struct theory)
adds a new theory provided as a text |
boolean |
BasicLibrary.load_library_2(Struct className,
Term libName)
|
boolean |
BasicLibrary.get_operators_list_1(Struct arg)
|
boolean |
BasicLibrary.agent_1(Struct theory)
spawns a separate prolog agent providing it a theory text |
boolean |
BasicLibrary.agent_2(Struct theory,
Struct goal)
spawns a separate prolog agent providing it a theory text and a goal |
|
|||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||