public BoundFunctor(ILiteral name, IEnumerable <ILiteral> parameters)
{
if (name == null)
{
throw new ArgumentNullException("name");
}
if (parameters == null)
{
throw new ArgumentNullException("parameters");
}
_parameters = parameters.ToArray();
_unbound = new UnboundFunctor(name, _parameters.Length);
}
public BoundFunctor(UnboundFunctor unbound, IEnumerable <ILiteral> parameters)
{
if (unbound == null)
{
throw new ArgumentNullException("unbound");
}
if (parameters == null)
{
throw new ArgumentNullException("parameters");
}
_unbound = unbound;
_parameters = parameters.ToArray();
if (_parameters.Length != _unbound.NumParameters)
{
throw new ArgumentException("Incorrect number of parameters for functor", "parameters");
}
}
public BoundFunctor(params ILiteral[] parameters)
{
_parameters = parameters;
_unbound = new UnboundFunctor(_parameters.Length);
}