public static AxiomFilter Build(this GroupEnd last)
{
var end = ((IJunction)last);
return(new AxiomFilter()
{
Format = end.GetToken(),
Axioms = end.GetAxioms(),
Options = AxiomFilterOptions.Equation
});
}
public static ILogicalOperator Or(this GroupEnd left)
{
return(new Or(left));
}
public static ILogicalOperator And(this GroupEnd left)
{
return(new And(left));
}
public static GroupEnd EndGroup(this GroupEnd last)
{
return(new GroupEnd(last));
}
public static Not Not(this GroupEnd parent)
{
return(new Not(parent));
}
