C# Class Cream.AllenTemporal.AllenSolver

Allen solver class

Inheritance: Cream.DefaultSolver

Public Properties

Property	Type	Description
pc2Queue	IList

Method	Description
AllenSolver ( Cream.Network network ) : System.Collections	Initializes a new instance of the AllenSolver class.
AllenSolver ( Cream.Network network, int options ) : System.Collections	Initializes a new instance of the AllenSolver class.
AllenSolver ( Cream.Network network, int options, string name ) : System.Collections	Initializes a new instance of the AllenSolver class.
Revise ( Variable x, Variable y, int relations ) : bool	Revise method

Method	Description
Solve ( int level ) : void	This method is based on Dr Malek Mouhoub Tempor application http://www2.cs.uregina.ca/~mouhoubm/=postscript/=papers/32mouh.ps.gz

Method	Description
AllenSolver ( Cream.Network network, string name ) : System.Collections	Initializes a new instance of the AllenSolver class.
ArcConsistency ( ) : bool	Arc consistency method
Compatible ( int a, int b, int d1, int d2, IEnumerable relations ) : bool	checks for the compatibility of variables
ConvertNumericToSymbolic ( ) : void	converts numeric to symbolic
GetDisjunctiveConstraints ( ) : void	gets disjunctive constraints
GetEvents ( Variable v1, Variable v2 ) : int[]	gets all events
PathConsistency ( ) : void	Path consistency implementatiopn
QueueUpVarsForAC ( ) : void	quies varaibles for AC
QueueUpVarsForPC ( ) : void	queries variables for PC
SatisfyDisjCons ( ) : bool	Checks the consistency of the disjunctive constraints between every two varaibles in the network

Initializes a new instance of the AllenSolver class.

public AllenSolver ( Cream.Network network ) : System.Collections
network	Cream.Network	/// The network. ///
return	System.Collections

Initializes a new instance of the AllenSolver class.

public AllenSolver ( Cream.Network network, int options ) : System.Collections
network	Cream.Network	/// The network. ///
options	int	/// The options. ///
return	System.Collections

Initializes a new instance of the AllenSolver class.

public AllenSolver ( Cream.Network network, int options, string name ) : System.Collections
network	Cream.Network	/// The network. ///
options	int	/// The options. ///
name	string	/// The name of the problem ///
return	System.Collections

Revise method

public static Revise ( Variable x, Variable y, int relations ) : bool
x	Cream.Variable	/// The x.variable ///
y	Cream.Variable	/// The y.variable ///
relations	int	/// The relations. ///
return	bool

This method is based on Dr Malek Mouhoub Tempor application http://www2.cs.uregina.ca/~mouhoubm/=postscript/=papers/32mouh.ps.gz

protected Solve ( int level ) : void
level	int	integer value for the level of the solver
return	void

list of pc2 queue

public IList pc2Queue
return	IList