private ParametrizedPredicate GetParameterizedNext(Parameter num1Parameter, Parameter num2Parameter)
{
ParametrizedPredicate parameterizedNext = new ParametrizedPredicate(nextPredicateName);
parameterizedNext.AddParameter(num1Parameter);
parameterizedNext.AddParameter(num2Parameter);
return(parameterizedNext);
}
private ParametrizedPredicate GetParameterizedRevealedNumberOfDependencies(Parameter agentParameter, Parameter numParameter)
{
ParametrizedPredicate parameterizedRevealedNumberOfDependencies = new ParametrizedPredicate(revealedNumberOfDependenciesPredicateName);
parameterizedRevealedNumberOfDependencies.AddParameter(agentParameter);
parameterizedRevealedNumberOfDependencies.AddParameter(numParameter);
return(parameterizedRevealedNumberOfDependencies);
}
/*
* private ParametrizedPredicate GetParameterizedRevealedSomething()
* {
* ParametrizedPredicate parametrizedRevealedSomething = new ParametrizedPredicate("revealed-something");
* Parameter agentParameter = GetAgentParameter();
* parametrizedRevealedSomething.AddParameter(agentParameter);
* return parametrizedRevealedSomething;
* }
*/
private ParametrizedPredicate GetParameterizedBelongsTo()
{
ParametrizedPredicate parametrizedBelongsTo = new ParametrizedPredicate("belongs-to");
Parameter dependencyParameter = GetDependencyParameter();
Parameter agentParameter = GetAgentParameter();
parametrizedBelongsTo.AddParameter(dependencyParameter);
parametrizedBelongsTo.AddParameter(agentParameter);
return(parametrizedBelongsTo);
}
private ParametrizedPredicate GetParameterizedRevealed()
{
ParametrizedPredicate parametrizedRevealed = new ParametrizedPredicate("revealed");
Parameter dependencyParameter = GetDependencyParameter();
parametrizedRevealed.AddParameter(dependencyParameter);
return(parametrizedRevealed);
}
private ParametrizedPredicate GetParameterizedUsedDependency()
{
ParametrizedPredicate parametrizedUsedDependency = new ParametrizedPredicate(usedDependencyPredicateName);
Parameter dependencyParameter = GetDependencyParameter();
parametrizedUsedDependency.AddParameter(dependencyParameter);
return(parametrizedUsedDependency);
}
private ParametrizedPredicate GetParameterizedRevealedSomething()
{
ParametrizedPredicate parametrizedRevealedSomething = new ParametrizedPredicate("revealed-something");
Parameter agentParameter = GetAgentParameter();
parametrizedRevealedSomething.AddParameter(agentParameter);
return(parametrizedRevealedSomething);
}
private ParametrizedPredicate GetParameterizedGoingSoloPredicate()
{
ParametrizedPredicate parameterizedGoingSolo = new ParametrizedPredicate(goingSoloPredicateName);
Parameter agent = GetAgentParameter();
parameterizedGoingSolo.AddParameter(agent);
return(parameterizedGoingSolo);
}