OpenSim::Region::ScriptEngine::Shared::YieldProlog::Atom Class Reference

Inheritance diagram for OpenSim::Region::ScriptEngine::Shared::YieldProlog::Atom:

List of all members.

Public Member Functions
IEnumerable< bool >	unify (object arg)
void	addUniqueVariables (List< Variable > variableSet)
object	makeCopy (Variable.CopyStore copyStore)
bool	termEqual (object term)
bool	ground ()
override bool	Equals (object obj)
override string	ToString ()
override int	GetHashCode ()
string	toQuotedString ()
bool	lessThan (Atom atom)
	Return true if _name is lexicographically less than atom._name.
Static Public Member Functions
static Atom	a (string name)
	Return the unique Atom object for name where module is null. You should use this to create an Atom instead of calling the Atom constructor.
static Atom	a (string name, Atom module)
	Return an Atom object with the name and module. If module is null or Atom.NIL, this behaves like Atom.a(name) and returns the unique object where the module is null. If module is not null or Atom.NIL, this may or may not be the same object as another Atom with the same name and module.
static IEnumerable< bool >	module (object Obj, object Module)
	If Obj is an Atom unify its _module with Module. If the Atom's _module is null, use Atom.NIL.
Public Attributes
readonly string	_name
readonly Atom	_module
Static Public Attributes
static readonly Atom	NIL = Atom.a("[]")
static readonly Atom	DOT = Atom.a(".")
static readonly Atom	F = Atom.a("f")
static readonly Atom	SLASH = Atom.a("/")
static readonly Atom	HAT = Atom.a("^")
static readonly Atom	RULE = Atom.a(":-")

---

Member Function Documentation

static Atom OpenSim::Region::ScriptEngine::Shared::YieldProlog::Atom::a

(

string

name

)

[inline, static]

Return the unique Atom object for name where module is null. You should use this to create an Atom instead of calling the Atom constructor.

Parameters:

name

Returns:

static Atom OpenSim::Region::ScriptEngine::Shared::YieldProlog::Atom::a	(	string	name,
		Atom	module
	)			[inline, static]

Return an Atom object with the name and module. If module is null or Atom.NIL, this behaves like Atom.a(name) and returns the unique object where the module is null. If module is not null or Atom.NIL, this may or may not be the same object as another Atom with the same name and module.

Parameters:

	name
	module

Returns:

static IEnumerable<bool> OpenSim::Region::ScriptEngine::Shared::YieldProlog::Atom::module	(	object	Obj,
		object	Module
	)			[inline, static]

If Obj is an Atom unify its _module with Module. If the Atom's _module is null, use Atom.NIL.

Parameters:

	Atom
	Module

Returns:

IEnumerable<bool> OpenSim::Region::ScriptEngine::Shared::YieldProlog::Atom::unify

(

object

arg

)

[inline]

Implements OpenSim::Region::ScriptEngine::Shared::YieldProlog::IUnifiable.

void OpenSim::Region::ScriptEngine::Shared::YieldProlog::Atom::addUniqueVariables

(

List< Variable >

variableSet

)

[inline]

Implements OpenSim::Region::ScriptEngine::Shared::YieldProlog::IUnifiable.

object OpenSim::Region::ScriptEngine::Shared::YieldProlog::Atom::makeCopy

(

Variable.CopyStore

copyStore

)

[inline]

Implements OpenSim::Region::ScriptEngine::Shared::YieldProlog::IUnifiable.

bool OpenSim::Region::ScriptEngine::Shared::YieldProlog::Atom::termEqual

(

object

term

)

[inline]

Implements OpenSim::Region::ScriptEngine::Shared::YieldProlog::IUnifiable.

bool OpenSim::Region::ScriptEngine::Shared::YieldProlog::Atom::ground

(

)

[inline]

Implements OpenSim::Region::ScriptEngine::Shared::YieldProlog::IUnifiable.

override bool OpenSim::Region::ScriptEngine::Shared::YieldProlog::Atom::Equals

(

object

obj

)

[inline]

override string OpenSim::Region::ScriptEngine::Shared::YieldProlog::Atom::ToString

(

)

[inline]

override int OpenSim::Region::ScriptEngine::Shared::YieldProlog::Atom::GetHashCode

(

)

[inline]

string OpenSim::Region::ScriptEngine::Shared::YieldProlog::Atom::toQuotedString

(

)

[inline]

bool OpenSim::Region::ScriptEngine::Shared::YieldProlog::Atom::lessThan

(

Atom

atom

)

[inline]

Return true if _name is lexicographically less than atom._name.

Parameters:

atom

Returns:

---

Member Data Documentation

readonly string OpenSim::Region::ScriptEngine::Shared::YieldProlog::Atom::_name

readonly Atom OpenSim::Region::ScriptEngine::Shared::YieldProlog::Atom::_module

readonly Atom OpenSim::Region::ScriptEngine::Shared::YieldProlog::Atom::NIL = Atom.a("[]") [static]

readonly Atom OpenSim::Region::ScriptEngine::Shared::YieldProlog::Atom::DOT = Atom.a(".") [static]

readonly Atom OpenSim::Region::ScriptEngine::Shared::YieldProlog::Atom::F = Atom.a("f") [static]

readonly Atom OpenSim::Region::ScriptEngine::Shared::YieldProlog::Atom::SLASH = Atom.a("/") [static]

readonly Atom OpenSim::Region::ScriptEngine::Shared::YieldProlog::Atom::HAT = Atom.a("^") [static]

readonly Atom OpenSim::Region::ScriptEngine::Shared::YieldProlog::Atom::RULE = Atom.a(":-") [static]

---

The documentation for this class was generated from the following file:

• /home/sdague/opensim-docsgit/opensim/OpenSim/Region/ScriptEngine/Shared/Api/Runtime/YieldProlog/Atom.cs