public static NamedVariable NamedVariable(Sort sort, SymbolName name)
{
Contract.Requires(sort != null);
Contract.Requires(name.IsValid);
return(new NamedVariable(sort, name));
}
internal NamedVariable(Sort sort, SymbolName name)
: base(sort)
{
Contract.Requires <ArgumentNullException>(sort != null, nameof(sort));
this.SymbolName = name;
}
public static NamedVariable NamedVariable(Sort sort, string nameText, int?nameNumber = null)
{
Contract.Requires(sort != null);
var name = new SymbolName(nameText, nameNumber);
return(new NamedVariable(sort, name));
}
