Uses of Class
jTrolog.terms.EvaluableTerm

Packages that use EvaluableTerm

Package	Description
jTrolog.engine
jTrolog.lib
jTrolog.terms

Uses of EvaluableTerm in jTrolog.engine

Methods in jTrolog.engine with parameters of type EvaluableTerm

Modifier and Type	Method and Description
Number	BindingsTable.evalExpression(Prolog prolog, EvaluableTerm expression)

Uses of EvaluableTerm in jTrolog.lib

Methods in jTrolog.lib with parameters of type EvaluableTerm

Modifier and Type	Method and Description
Term	ISOLibrary.abs_1(BindingsTable bt, EvaluableTerm val)
Term	ISOLibrary.atan_1(BindingsTable bt, EvaluableTerm val)
Term	ISOLibrary.ceiling_1(BindingsTable bt, EvaluableTerm val)
Term	ISOLibrary.cos_1(BindingsTable bt, EvaluableTerm val)
Term	ISOLibrary.div_2(BindingsTable bt, EvaluableTerm v0, EvaluableTerm v1)
Term	BasicLibrary.eval_1(BindingsTable bt, EvaluableTerm structIn)
Term	ISOLibrary.exp_1(BindingsTable bt, EvaluableTerm val)
Term	BasicLibrary.expression_bitwise_and_2(BindingsTable bt, EvaluableTerm structIn, EvaluableTerm listIn)
Term	BasicLibrary.expression_bitwise_not_1(BindingsTable bt, EvaluableTerm structIn)
Term	BasicLibrary.expression_bitwise_or_2(BindingsTable bt, EvaluableTerm structIn, EvaluableTerm listIn)
Term	BasicLibrary.expression_bitwise_shift_left_2(BindingsTable bt, EvaluableTerm structIn, EvaluableTerm listIn)
Term	BasicLibrary.expression_bitwise_shift_right_2(BindingsTable bt, EvaluableTerm structIn, EvaluableTerm listIn)
Term	BasicLibrary.expression_div_2(BindingsTable bt, EvaluableTerm structIn, EvaluableTerm listIn)
boolean	BasicLibrary.expression_equality_2(BindingsTable bt, EvaluableTerm structIn, EvaluableTerm listIn)
boolean	BasicLibrary.expression_greater_or_equal_than_2(BindingsTable bt, EvaluableTerm structIn, EvaluableTerm listIn)
boolean	BasicLibrary.expression_greater_than_2(BindingsTable bt, EvaluableTerm structIn, EvaluableTerm listIn)
Term	BasicLibrary.expression_integer_div_2(BindingsTable bt, EvaluableTerm structIn, EvaluableTerm listIn)
boolean	BasicLibrary.expression_less_or_equal_than_2(BindingsTable bt, EvaluableTerm structIn, EvaluableTerm listIn)
boolean	BasicLibrary.expression_less_than_2(BindingsTable bt, EvaluableTerm structIn, EvaluableTerm listIn)
Term	BasicLibrary.expression_minus_1(BindingsTable bt, EvaluableTerm listIn)
Term	BasicLibrary.expression_minus_2(BindingsTable bt, EvaluableTerm structIn, EvaluableTerm listIn)
Term	BasicLibrary.expression_multiply_2(BindingsTable bt, EvaluableTerm structIn, EvaluableTerm listIn)
Term	BasicLibrary.expression_plus_1(BindingsTable bt, EvaluableTerm structIn)
Term	BasicLibrary.expression_plus_2(BindingsTable bt, EvaluableTerm structIn, EvaluableTerm listIn)
Term	BasicLibrary.expression_pow_2(BindingsTable bt, EvaluableTerm structIn, EvaluableTerm listIn)
Term	ISOLibrary.float_fractional_part_1(BindingsTable bt, EvaluableTerm val)
Term	ISOLibrary.float_integer_part_1(BindingsTable bt, EvaluableTerm val)
Term	ISOLibrary.floor_1(BindingsTable bt, EvaluableTerm val)
boolean	BasicLibrary.is_2(BindingsTable bt, Term structIn, EvaluableTerm listIn)
Term	ISOLibrary.log_1(BindingsTable bt, EvaluableTerm val)
Term	ISOLibrary.mod_2(BindingsTable bt, EvaluableTerm v0, EvaluableTerm v1)
Term	ISOLibrary.rem_2(BindingsTable bt, EvaluableTerm v0, EvaluableTerm v1)
Term	ISOLibrary.round_1(BindingsTable bt, EvaluableTerm val)
Term	ISOLibrary.sign_1(BindingsTable bt, EvaluableTerm val)
Term	ISOLibrary.sin_1(BindingsTable bt, EvaluableTerm val)
Term	ISOLibrary.sqrt_1(BindingsTable bt, EvaluableTerm val)
Term	ISOLibrary.truncate_1(BindingsTable bt, EvaluableTerm val)

Uses of EvaluableTerm in jTrolog.terms

Subclasses of EvaluableTerm in jTrolog.terms

Modifier and Type	Class and Description
class	Double Double class represents the double prolog data type
class	Float Float class represents the float prolog data type
class	Int Int class represents the integer prolog data type
class	Long Long class represents the long prolog data type
class	Number Number abstract class represents numbers prolog data type
class	Struct Struct class represents both compound prolog term and atom term (considered as 0-arity compound).
class	StructAtom
class	WrapStruct