C# Class Axiom.Runtime.AbstractMachineState

显示文件 Open project: ahodroj/prologdotnet Class Usage Examples

Public Methods

Method	Description
AbstractMachineState ( AbstractMachineFactory factory ) : System
AddForeignPredicate ( AMForeignPredicate fp ) : void
Backtrack ( ) : void
Call ( string predicateName ) : bool	Call a predicate that takes no arguments
Call ( string predicateName, int arity, object args ) : bool
Call ( string predicatename, int arity, object args, bool more ) : bool
GetForeignPredicate ( string name ) : AMForeignPredicate
Initialize ( ArrayList instructions ) : void
Initialize ( ArrayList instructions, ArrayList namespaces, ArrayList assemblyFiles ) : void
Step ( ) : void
Stop ( ) : bool
Transition ( ) : void
this ( string registerName ) : object

Private Methods

Method	Description
GetDataRegister ( string registerName ) : AbstractTerm
GetPermanentRegister ( string registerName ) : object
GetRegisterValue ( string registerName ) : object

Method Details

AbstractMachineState() public method

public AbstractMachineState ( AbstractMachineFactory factory ) : System
factory	AbstractMachineFactory
return	System

AddForeignPredicate() public method

public AddForeignPredicate ( AMForeignPredicate fp ) : void
fp	AMForeignPredicate
return	void

Backtrack() public method

public Backtrack ( ) : void
return	void

Call() public method

Call a predicate that takes no arguments

public Call ( string predicateName ) : bool
predicateName	string	predicate name only.
return	bool

Call() public method

public Call ( string predicateName, int arity, object args ) : bool
predicateName	string
arity	int
args	object
return	bool

Call() public method

public Call ( string predicatename, int arity, object args, bool more ) : bool
predicatename	string
arity	int
args	object
more	bool
return	bool

GetForeignPredicate() public method

public GetForeignPredicate ( string name ) : AMForeignPredicate
name	string
return	AMForeignPredicate

Initialize() public method

public Initialize ( ArrayList instructions ) : void
instructions	System.Collections.ArrayList
return	void

Initialize() public method

public Initialize ( ArrayList instructions, ArrayList namespaces, ArrayList assemblyFiles ) : void
instructions	System.Collections.ArrayList
namespaces	System.Collections.ArrayList
assemblyFiles	System.Collections.ArrayList
return	void

Step() public method

public Step ( ) : void
return	void

Stop() public method

public Stop ( ) : bool
return	bool

Transition() public method

public Transition ( ) : void
return	void

this() public method

public this ( string registerName ) : object
registerName	string
return	object