C# 클래스 Prolog.LogicVariable

상속: Prolog.AlphaConvertibleTerm

파일 보기 프로젝트 열기: ianhorswill/UnityProlog 1 사용 예제들

Private Properties

프로퍼티	타입	설명
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

공개 메소드들

메소드	설명
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).

비공개 메소드들

메소드	설명
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

메소드 상세

AddSuspendedGoalSavingToTrail() 공개 메소드

public AddSuspendedGoalSavingToTrail ( Structure goal, PrologContext context ) : void
goal	Structure
context	PrologContext
리턴	void

AlphaConvert() 공개 메소드

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
리턴	object

LogicVariable() 공개 메소드

Creates a new logic variable

public LogicVariable ( Symbol name ) : System
name	Symbol
리턴	System

LogicVariable() 공개 메소드

Creates a new logic variable

public LogicVariable ( string name ) : System
name	string	Print name for the variable
리턴	System

ToString() 공개 메소드

The name and UID of the object

public ToString ( ) : string
리턴	string

Unify() 공개 메소드

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

public Unify ( object value ) : IEnumerable
value	object
리턴	IEnumerable

Unify() 공개 메소드

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
리턴	bool