• Home
• Axiom
• Runtime
• UnitTests
• _Builtins

C# Class Axiom.Runtime.UnitTests._Builtins

Show file Open project: ahodroj/prologdotnet

Public Methods

Method	Description
SetupMachine ( ) : AbstractMachineState
Verify ( string name, int arity ) : void

Private Methods

Method	Description
atom_1_atom ( ) : void
atom_1_int ( ) : void
atom_1_list ( ) : void
atom_1_string ( ) : void
atom_1_struct ( ) : void
bound_1_bound ( ) : void
bound_1_unbound ( ) : void
call_1 ( ) : void
char_1_char ( ) : void
char_1_nochar ( ) : void
equals_2 ( ) : void
free_1_bound ( ) : void
free_1_unbound ( ) : void
get0_1 ( ) : void
greaterthan_2 ( ) : void
greaterthanequals_2 ( ) : void
integer_1_int ( ) : void
integer_1_noint ( ) : void
lessthan_2 ( ) : void
lessthanequals_2 ( ) : void
nl_0 ( ) : void
nonvar_1_bound ( ) : void
nonvar_1_unbound ( ) : void
notunifiable_2 ( ) : void
put_1 ( ) : void
skip_1 ( ) : void
string_1_string ( ) : void
unify_2 ( ) : void
var_1_bound ( ) : void
var_1_unbound ( ) : void
write_1 ( ) : void
writeln_1 ( ) : void

Method Details