C# (CSharp) PromelaLogicalOperator Examples

Example #1

File: Promela.cs Project: Kernel-P-Systems/kPWorkbench

        public static string LogicalOpToString(PromelaLogicalOperator op)
        {
            switch (op)
            {
            case PromelaLogicalOperator.AND: return("&&");

            case PromelaLogicalOperator.OR: return("||");
            }
            return("");
        }

Example #2

File: Promela.cs Project: Kernel-P-Systems/kPWorkbench

        public CompositeCondition(PromelaLogicalOperator op, ICondition lhs, ICondition rhs)
        {
            if (lhs == null)
            {
                throw new ArgumentNullException("lhs");
            }

            if (rhs == null)
            {
                throw new ArgumentNullException("rhs");
            }

            Lhs = lhs;
            Rhs = rhs;
            Op  = op;
        }