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)); }