C# Class Axiom.Runtime.UnitTests._ExternalsTests

Exibir arquivo Open project: ahodroj/prologdotnet

Public Methods

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

Private Methods

Method	Description
asserta_1 ( ) : void
assertz_1 ( ) : void

Method Details

SetupMachine() public method

public SetupMachine ( ) : AbstractMachineState
return	Axiom.Runtime.AbstractMachineState

Verify() public method

public Verify ( string name, int arity ) : void
name	string
arity	int
return	void