C# Class Prolog.LogicVariable

Inheritance: Prolog.AlphaConvertibleTerm

Afficher le fichier Open project: ianhorswill/UnityProlog Class Usage Examples

Private Properties

Свойство	Type	Description
AddFrozenGoal	IEnumerable
AddSuspendedGoal	IEnumerable
ForciblyUnbind	void
MetaUnify	IEnumerable
SaveAndUpdate	void
SucceedOnceAndThenUnBind	IEnumerable
UnifyMetaMeta	IEnumerable
UnifyMetaMeta	void
UnifyMetaTerm	IEnumerable
UnifyMetaTerm	void
UnifyMetaVar	IEnumerable
UnifyMetaVar	void
UnifyWithAtomicConstant	IEnumerable
UnifyWithAtomicConstant	bool
UnifyWithCanonicalValue	IEnumerable
UnifyWithCanonicalValue	bool
UnifyWithStructure	IEnumerable
UnifyWithStructure	bool
UnifyWithTerm	IEnumerable
UnifyWithTerm	bool

Méthodes publiques

Méthode	Description
AddSuspendedGoalSavingToTrail ( Structure goal, PrologContext context ) : void
AlphaConvert ( List oldVars, LogicVariable newVars, PrologContext context, bool evalIndexicals ) : object	All we have to do here is check whether this is one of the variables we're looking for.
LogicVariable ( Symbol name ) : System	Creates a new logic variable
LogicVariable ( string name ) : System	Creates a new logic variable
ToString ( ) : string	The name and UID of the object
Unify ( object value ) : IEnumerable	Attempt to unify the logic variable against the specified value (may be another logic variable or not).
Unify ( object value, PrologContext context ) : bool	Attempt to unify the logic variable against the specified value (may be another logic variable or not).

Private Methods

Méthode	Description
AddFrozenGoal ( Structure goal, PrologContext context ) : IEnumerable
AddSuspendedGoal ( Structure goal, PrologContext context ) : IEnumerable
ForciblyUnbind ( ) : void
MetaUnify ( Metastructure m ) : IEnumerable
SaveAndUpdate ( object value, PrologContext context ) : void	Saves variable to the trail and updates it.
SucceedOnceAndThenUnBind ( ) : IEnumerable
UnifyMetaMeta ( Metastructure myMetaStructure, Metastructure theirMetaStructure, LogicVariable them ) : IEnumerable
UnifyMetaMeta ( Metastructure myMetaStructure, Metastructure theirMetaStructure, LogicVariable them, PrologContext context ) : void	This is an attributed variable with attribute myMetaStructure, unify it with attributed variable them, with attribute theirMetaStructure.
UnifyMetaTerm ( Metastructure m, object value ) : IEnumerable
UnifyMetaTerm ( Metastructure m, object value, PrologContext context ) : void	This is an attributed variable with attribute m, unify it with value.
UnifyMetaVar ( Metastructure m, LogicVariable l ) : IEnumerable
UnifyMetaVar ( Metastructure m, LogicVariable l, PrologContext context ) : void	This is an atributed variable with metastructure m, unify with unattributed and unbound variable v.
UnifyWithAtomicConstant ( object value ) : IEnumerable
UnifyWithAtomicConstant ( object value, PrologContext context ) : bool
UnifyWithCanonicalValue ( object value ) : IEnumerable
UnifyWithCanonicalValue ( object value, PrologContext context ) : bool
UnifyWithStructure ( Structure value ) : IEnumerable
UnifyWithStructure ( Structure value, PrologContext context ) : bool
UnifyWithTerm ( Term term ) : IEnumerable
UnifyWithTerm ( Term term, PrologContext context ) : bool

Method Details

AddSuspendedGoalSavingToTrail() public méthode

public AddSuspendedGoalSavingToTrail ( Structure goal, PrologContext context ) : void
goal	Structure
context	PrologContext
Résultat	void

AlphaConvert() public méthode

All we have to do here is check whether this is one of the variables we're looking for.

public AlphaConvert ( List oldVars, LogicVariable newVars, PrologContext context, bool evalIndexicals ) : object
oldVars	List
newVars	LogicVariable
context	PrologContext
evalIndexicals	bool
Résultat	object

LogicVariable() public méthode

Creates a new logic variable

public LogicVariable ( Symbol name ) : System
name	Symbol
Résultat	System

LogicVariable() public méthode

Creates a new logic variable

public LogicVariable ( string name ) : System
name	string	Print name for the variable
Résultat	System

ToString() public méthode

The name and UID of the object

public ToString ( ) : string
Résultat	string

Unify() public méthode

Attempt to unify the logic variable against the specified value (may be another logic variable or not).

public Unify ( object value ) : IEnumerable
value	object
Résultat	IEnumerable

Unify() public méthode

Attempt to unify the logic variable against the specified value (may be another logic variable or not).

public Unify ( object value, PrologContext context ) : bool
value	object
context	PrologContext
Résultat	bool