Method | Description | |
---|---|---|
SetupMachine ( ) : |
||
Verify ( string name, int arity ) : void |
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 |
public SetupMachine ( ) : |
||
return |
public Verify ( string name, int arity ) : void | ||
name | string | |
arity | int | |
return | void |