C# Class Axiom.Runtime.Builtins.Equality.NotUnifiablePredicate

Inheritance: AbstractPredicate
Datei anzeigen Open project: ahodroj/prologdotnet Class Usage Examples

Public Methods

Method Description
Arity ( ) : int
Execute ( AbstractMachineState state ) : void
Name ( ) : string

Method Details

Arity() public method

public Arity ( ) : int
return int

Execute() public method

public Execute ( AbstractMachineState state ) : void
state AbstractMachineState
return void

Name() public method

public Name ( ) : string
return string