|
|||||||||
| Home >> All >> alice >> tuprolog >> [ lib overview ] | PREV NEXT | ||||||||
A
- abs_1(Struct) - Method in class alice.tuprolog.lib.ISOLibrary
- add_theory_1(Struct) - Method in class alice.tuprolog.lib.MetaLibrary
- adds a new theory stored in the file whose name is passed as argument
- agent_1(Struct) - Method in class alice.tuprolog.lib.MetaLibrary
- spawns a separate prolog agent providing it a theory text
- agent_2(Struct) - Method in class alice.tuprolog.lib.MetaLibrary
- spawns a separate prolog agent providing it a theory text and a goal
- alice.tuprolog.lib - package alice.tuprolog.lib
- array_byte_list_2(Struct) - Method in class alice.tuprolog.lib.JavaLibrary
- bidirectional conversion of a byte array and a prolog list
- array_byte_to_array_object_2(Struct) - Method in class alice.tuprolog.lib.JavaLibrary
- conversion of java byte array to an array of generic object
- array_float_to_array_object_2(Struct) - Method in class alice.tuprolog.lib.JavaLibrary
- conversion of java float array to an array of generic object
- array_int_list_2(Struct) - Method in class alice.tuprolog.lib.JavaLibrary
- bidirectional conversion of an int array and a prolog list
- array_int_to_array_object_2(Struct) - Method in class alice.tuprolog.lib.JavaLibrary
- conversion of java int array to an array of generic object
- atan_1(Struct) - Method in class alice.tuprolog.lib.ISOLibrary
- atom_chars_2(Struct) - Method in class alice.tuprolog.lib.ISOLibrary
- atom_concat_3(Struct) - Method in class alice.tuprolog.lib.ISOLibrary
- atom_length_2(Struct) - Method in class alice.tuprolog.lib.ISOLibrary
B
- bindObject(Term, Object) - Method in class alice.tuprolog.lib.JavaLibrary
- tries to bind specified id to a provided java object
- bindObject(Object) - Method in class alice.tuprolog.lib.JavaLibrary
- bind and object to a new generated id
C
- ClassLoader - class alice.tuprolog.lib.ClassLoader.
- used to load new classes without touching system class loader
- ClassLoader() - Constructor for class alice.tuprolog.lib.ClassLoader
- ceiling_1(Struct) - Method in class alice.tuprolog.lib.ISOLibrary
- char_code_2(Struct) - Method in class alice.tuprolog.lib.ISOLibrary
- cos_1(Struct) - Method in class alice.tuprolog.lib.ISOLibrary
- current - Variable in class alice.tuprolog.lib.FlagInfo
- currentObjects - Variable in class alice.tuprolog.lib.JavaLibrary
- java objects referenced by prolog terms (keys)
- currentObjects_inverse - Variable in class alice.tuprolog.lib.JavaLibrary
- inverse map useful for implementation issue
D
- dismiss() - Method in class alice.tuprolog.lib.JavaLibrary
- div_2(Struct) - Method in class alice.tuprolog.lib.ISOLibrary
E
- exp_1(Struct) - Method in class alice.tuprolog.lib.ISOLibrary
F
- FlagInfo - class alice.tuprolog.lib.FlagInfo.
- FlagInfo(Term) - Constructor for class alice.tuprolog.lib.FlagInfo
- FlagInfo(Term, Term[]) - Constructor for class alice.tuprolog.lib.FlagInfo
- float_fractional_part_1(Struct) - Method in class alice.tuprolog.lib.ISOLibrary
- float_integer_part_1(Struct) - Method in class alice.tuprolog.lib.ISOLibrary
- floor_1(Struct) - Method in class alice.tuprolog.lib.ISOLibrary
G
- gen - Variable in class alice.tuprolog.lib.IOLibrary
- get0_1(Struct) - Method in class alice.tuprolog.lib.IOLibrary
- getGroundObject(Term, int) - Method in class alice.tuprolog.lib.JavaLibrary
- get a ground object id related to a term id
- getObjId() - Method in class alice.tuprolog.lib.JavaLibrary
- getRawAtom(String) - Method in class alice.tuprolog.lib.JavaLibrary
- get atom without eventually present ' ' at the begin and at the end
- getRegisteredObject(Struct) - Method in class alice.tuprolog.lib.JavaLibrary
- gets a registered object (returns null if not presents)
- getTypes() - Method in class alice.tuprolog.lib.Signature
- getValues() - Method in class alice.tuprolog.lib.Signature
- get_1(Struct) - Method in class alice.tuprolog.lib.IOLibrary
- get_operators_list_1(Struct) - Method in class alice.tuprolog.lib.ISOLibrary
- get_spec_1(Struct) - Method in class alice.tuprolog.lib.RespectTCLibrary
- get_spec_2(Struct) - Method in class alice.tuprolog.lib.LuceLibrary
- get_spec_3(Struct) - Method in class alice.tuprolog.lib.TucsonLibrary
- get_theory_1(Struct) - Method in class alice.tuprolog.lib.MetaLibrary
- gets current theory text
I
- IOLibrary - class alice.tuprolog.lib.IOLibrary.
- mix services provided, such as prolog classic I/O built-ins
- IOLibrary() - Constructor for class alice.tuprolog.lib.IOLibrary
- ISOLibrary - class alice.tuprolog.lib.ISOLibrary.
- Provides most of the builting predicates and functors defined by ISO standard.
- ISOLibrary() - Constructor for class alice.tuprolog.lib.ISOLibrary
- InvalidClassIdException - exception alice.tuprolog.lib.InvalidClassIdException.
- InvalidClassIdException() - Constructor for class alice.tuprolog.lib.InvalidClassIdException
- InvalidObjectIdException - exception alice.tuprolog.lib.InvalidObjectIdException.
- InvalidObjectIdException() - Constructor for class alice.tuprolog.lib.InvalidObjectIdException
- id - Variable in class alice.tuprolog.lib.JavaLibrary
- progressive conter used to identify registered objects
- in_1(Struct) - Method in class alice.tuprolog.lib.LogicTSLibrary
- in_1(Struct) - Method in class alice.tuprolog.lib.RespectTCLibrary
- in_2(Struct) - Method in class alice.tuprolog.lib.LuceLibrary
- in_3(Struct) - Method in class alice.tuprolog.lib.TucsonLibrary
- inp_1(Struct) - Method in class alice.tuprolog.lib.LogicTSLibrary
- inp_1(Struct) - Method in class alice.tuprolog.lib.RespectTCLibrary
- inp_2(Struct) - Method in class alice.tuprolog.lib.LuceLibrary
- inp_3(Struct) - Method in class alice.tuprolog.lib.TucsonLibrary
- inputStream - Variable in class alice.tuprolog.lib.IOLibrary
- inputStreamName - Variable in class alice.tuprolog.lib.IOLibrary
J
- JavaLibrary - class alice.tuprolog.lib.JavaLibrary.
- this library allows the exploitation of any java available resource from prolog sources.
- JavaLibrary() - Constructor for class alice.tuprolog.lib.JavaLibrary
- java_array(String, int, Term) - Method in class alice.tuprolog.lib.JavaLibrary
- java array creation
- java_call_3(Struct) - Method in class alice.tuprolog.lib.JavaLibrary
- object method invocation
- java_class_2(Struct) - Method in class alice.tuprolog.lib.JavaLibrary
- get the class given the name
- java_class_4(Struct) - Method in class alice.tuprolog.lib.JavaLibrary
- java class creation (dynamic compilation)
- java_get(Term, Term, Term) - Method in class alice.tuprolog.lib.JavaLibrary
- java_object_3(Struct) - Method in class alice.tuprolog.lib.JavaLibrary
- java object creation
- java_set(Term, Term, Term) - Method in class alice.tuprolog.lib.JavaLibrary
L
- LogicTSLibrary - class alice.tuprolog.lib.LogicTSLibrary.
- this library allows the interaction of prolog (and java) agents thorugh a locally defined tuple space refer to tuplemedium documentation for understanding of coordination primitives
- LogicTSLibrary() - Constructor for class alice.tuprolog.lib.LogicTSLibrary
- LuceLibrary - class alice.tuprolog.lib.LuceLibrary.
- this library allows the exploitation of the LuCe coordination alice.infrastructure.
- LuceLibrary() - Constructor for class alice.tuprolog.lib.LuceLibrary
- load_library_1(Struct) - Method in class alice.tuprolog.lib.MetaLibrary
- loads a tuprolog library, given its java class name
- log_1(Struct) - Method in class alice.tuprolog.lib.ISOLibrary
M
- MetaLibrary - class alice.tuprolog.lib.MetaLibrary.
- this library defines built-ins which manage prolog theories, libraries, goals and agents.
- MetaLibrary() - Constructor for class alice.tuprolog.lib.MetaLibrary
- medium - Variable in class alice.tuprolog.lib.LogicTSLibrary
- medium - Variable in class alice.tuprolog.lib.RespectTCLibrary
- mod_2(Struct) - Method in class alice.tuprolog.lib.ISOLibrary
N
- nl_0(Struct) - Method in class alice.tuprolog.lib.IOLibrary
- nospy_0(Struct) - Method in class alice.tuprolog.lib.MetaLibrary
- num_atom_2(Struct) - Method in class alice.tuprolog.lib.ISOLibrary
O
- onSolveBegin(Term) - Method in class alice.tuprolog.lib.JavaLibrary
- out_1(Struct) - Method in class alice.tuprolog.lib.LogicTSLibrary
- out_1(Struct) - Method in class alice.tuprolog.lib.RespectTCLibrary
- out_2(Struct) - Method in class alice.tuprolog.lib.LuceLibrary
- out_3(Struct) - Method in class alice.tuprolog.lib.TucsonLibrary
- out_async_2(Struct) - Method in class alice.tuprolog.lib.LuceLibrary
- out_async_3(Struct) - Method in class alice.tuprolog.lib.TucsonLibrary
- outputStream - Variable in class alice.tuprolog.lib.IOLibrary
- outputStreamName - Variable in class alice.tuprolog.lib.IOLibrary
P
- parseArg(Struct) - Method in class alice.tuprolog.lib.JavaLibrary
- creation of method signature from prolog data
- parseArg(Object[]) - Method in class alice.tuprolog.lib.JavaLibrary
- parseResult(Term, Object) - Method in class alice.tuprolog.lib.JavaLibrary
- parses return value of a method invokation
- parse_arg(Object[], Class[], int, Term) - Method in class alice.tuprolog.lib.JavaLibrary
- parse_as(Object[], Class[], int, Term, Term) - Method in class alice.tuprolog.lib.JavaLibrary
- parsing 'as' operator, which allows to define the specific class of an argument
- preregisterObjects() - Method in class alice.tuprolog.lib.JavaLibrary
- objects actually pre-registered in order to be available since the beginning of demonstration
- put_1(Struct) - Method in class alice.tuprolog.lib.IOLibrary
R
- RespectTCLibrary - class alice.tuprolog.lib.RespectTCLibrary.
- this library allows the interaction of prolog (and java) agents thorugh a locally defined tuple centre refer to tuplemedium documentation for understanding of coordination primitives
- RespectTCLibrary() - Constructor for class alice.tuprolog.lib.RespectTCLibrary
- rand_float_1(Struct) - Method in class alice.tuprolog.lib.IOLibrary
- rand_int_2(Struct) - Method in class alice.tuprolog.lib.IOLibrary
- rd_1(Struct) - Method in class alice.tuprolog.lib.LogicTSLibrary
- rd_1(Struct) - Method in class alice.tuprolog.lib.RespectTCLibrary
- rd_2(Struct) - Method in class alice.tuprolog.lib.LuceLibrary
- rd_3(Struct) - Method in class alice.tuprolog.lib.TucsonLibrary
- rdp_1(Struct) - Method in class alice.tuprolog.lib.LogicTSLibrary
- rdp_1(Struct) - Method in class alice.tuprolog.lib.RespectTCLibrary
- rdp_2(Struct) - Method in class alice.tuprolog.lib.LuceLibrary
- rdp_3(Struct) - Method in class alice.tuprolog.lib.TucsonLibrary
- readObject(ObjectInputStream) - Method in class alice.tuprolog.lib.IOLibrary
- readObject(ObjectInputStream) - Method in class alice.tuprolog.lib.JavaLibrary
- handling readObject method is necessary in order to have the library reconstructed after a serialization
- read_1(Struct) - Method in class alice.tuprolog.lib.IOLibrary
- register(Struct, Object) - Method in class alice.tuprolog.lib.JavaLibrary
- registers an object with a specified id
- registerObject(Term, Object) - Method in class alice.tuprolog.lib.JavaLibrary
- rem_2(Struct) - Method in class alice.tuprolog.lib.ISOLibrary
- round_1(Struct) - Method in class alice.tuprolog.lib.ISOLibrary
S
- Signature - class alice.tuprolog.lib.Signature.
- Signature class mantains information about type and value of a method arguments
- Signature(Object[], Class[]) - Constructor for class alice.tuprolog.lib.Signature
- see_1(Struct) - Method in class alice.tuprolog.lib.IOLibrary
- seeing_1(Struct) - Method in class alice.tuprolog.lib.IOLibrary
- seen_0(Struct) - Method in class alice.tuprolog.lib.IOLibrary
- setMedium(TupleSpace) - Method in class alice.tuprolog.lib.LogicTSLibrary
- setMedium(TupleCentre) - Method in class alice.tuprolog.lib.RespectTCLibrary
- set_spec_1(Struct) - Method in class alice.tuprolog.lib.RespectTCLibrary
- set_spec_2(Struct) - Method in class alice.tuprolog.lib.LuceLibrary
- set_spec_3(Struct) - Method in class alice.tuprolog.lib.TucsonLibrary
- set_theory_1(Struct) - Method in class alice.tuprolog.lib.MetaLibrary
- sets a new theory stored in the file whose name is passed as argument
- sign_1(Struct) - Method in class alice.tuprolog.lib.ISOLibrary
- sin_1(Struct) - Method in class alice.tuprolog.lib.ISOLibrary
- spy_0(Struct) - Method in class alice.tuprolog.lib.MetaLibrary
- sqrt_1(Struct) - Method in class alice.tuprolog.lib.ISOLibrary
- staticObjects - Variable in class alice.tuprolog.lib.JavaLibrary
- staticObjects_inverse - Variable in class alice.tuprolog.lib.JavaLibrary
- string_atom_2(Struct) - Method in class alice.tuprolog.lib.JavaLibrary
- bidirectional conversion of java string and a prolog atom
T
- TucsonLibrary - class alice.tuprolog.lib.TucsonLibrary.
- this library allows the exploitation of the TuCSoN coordination alice.infrastructure.
- TucsonLibrary() - Constructor for class alice.tuprolog.lib.TucsonLibrary
- tab_1(Struct) - Method in class alice.tuprolog.lib.IOLibrary
- tell_1(Struct) - Method in class alice.tuprolog.lib.IOLibrary
- telling_1(Struct) - Method in class alice.tuprolog.lib.IOLibrary
- term_copy_2(Struct) - Method in class alice.tuprolog.lib.IOLibrary
- text_from_file_2(Struct) - Method in class alice.tuprolog.lib.MetaLibrary
- reads a source text from a file.
- text_term_2(Struct) - Method in class alice.tuprolog.lib.MetaLibrary
- bidirectional text/term conversion.
- text_theory_2(Struct) - Method in class alice.tuprolog.lib.MetaLibrary
- bidirectional text/theory conversion.
- toString() - Method in class alice.tuprolog.lib.Signature
- told_0(Struct) - Method in class alice.tuprolog.lib.IOLibrary
- truncate_1(Struct) - Method in class alice.tuprolog.lib.ISOLibrary
- types - Variable in class alice.tuprolog.lib.Signature
U
- unload_library_1(Struct) - Method in class alice.tuprolog.lib.MetaLibrary
- unloads a tuprolog library, given its java class name
V
- values - Variable in class alice.tuprolog.lib.FlagInfo
- values - Variable in class alice.tuprolog.lib.Signature
W
- writeObject(ObjectOutputStream) - Method in class alice.tuprolog.lib.IOLibrary
- writeObject(ObjectOutputStream) - Method in class alice.tuprolog.lib.JavaLibrary
- handling writeObject method is necessary in order to make the library serializable, 'nullyfing' eventually objects registered in maps
- write_1(Struct) - Method in class alice.tuprolog.lib.IOLibrary
A B C D E F G I J L M N O P R S T U V W
|
|||||||||
| Home >> All >> alice >> tuprolog >> [ lib overview ] | PREV NEXT | ||||||||