/// <summary>
/// Constructor.
/// </summary>
/// <param name="parentNode">is the parent evaluator to call to indicate truth value</param>
/// <param name="everyNode">is the factory node associated to the state</param>
public EvalEveryDistinctStateExpireKeyNode(
Evaluator parentNode,
EvalEveryDistinctNode everyNode)
: base(parentNode)
{
this.everyNode = everyNode;
spawnedNodes = new LinkedHashMap<EvalStateNode, IDictionary<object, long>>();
}
/// <summary>
/// Constructor.
/// </summary>
/// <param name="parentNode">is the parent evaluator to call to indicate truth value</param>
/// <param name="everyDistinctNode">is the factory node associated to the state</param>
public EvalEveryDistinctStateNode(
Evaluator parentNode,
EvalEveryDistinctNode everyDistinctNode)
: base(parentNode)
{
this.everyDistinctNode = everyDistinctNode;
spawnedNodes = new LinkedHashMap<EvalStateNode, ISet<object>>();
}
