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

Inheritance: AbstractPredicate
Afficher le fichier Open project: ahodroj/prologdotnet Class Usage Examples

Méthodes publiques

Méthode Description
Arity ( ) : int
Execute ( AbstractMachineState state ) : void
Name ( ) : string

Method Details

Arity() public méthode

public Arity ( ) : int
Résultat int

Execute() public méthode

public Execute ( AbstractMachineState state ) : void
state AbstractMachineState
Résultat void

Name() public méthode

public Name ( ) : string
Résultat string