public static PathCond Make(params PathCond[] conjs)
{
HashList <PathCond> result = new HashList <PathCond>();
foreach (PathCond conj in conjs)
{
if (conj.Is(false))
{
return(FALSE);
}
else if (!conj.Is(true))
{
result.Add(conj);
}
}
if (result.Count == 0)
{
return(TRUE);
}
else if (result.Count == 1)
{
return(result.Single());
}
else
{
return(new Conj(result.ToArray()));
}
}
public static PathCond Make(params PathCond[] conjs) {
HashList<PathCond> result = new HashList<PathCond>();
foreach (PathCond conj in conjs) {
if (conj.Is(false)) {
return FALSE;
}
else if (!conj.Is(true)) {
result.Add(conj);
}
}
if (result.Count == 0) {
return TRUE;
}
else if (result.Count == 1) {
return result.Single();
}
else {
return new Conj(result.ToArray());
}
}
public override bool Is(bool b) // Conj() is TRUE, and Conj(b) is b
{
return(b && conds.Count == 0 || conds.Count == 1 && conds.Single().Is(b));
}
public override bool Is(bool b) // Disj() is FALSE, and Disj(b) is b
{
return(!b && conds.Count == 0 || conds.Count == 1 && conds.Single().Is(b));
}
