/dports/lang/mono/mono-5.10.1.57/mcs/class/referencesource/System.Data.Entity/System/Data/Common/Utils/Boolean/ |
H A D | BoolExpr.cs | 33 internal abstract partial class BoolExpr<T_Identifier> : IEquatable<BoolExpr<T_Identifier>> 63 internal BoolExpr<T_Identifier> ExpensiveSimplify(out Converter<T_Identifier> converter) in ExpensiveSimplify() 136 public static implicit operator BoolExpr<T_Identifier>(T_Identifier value) in operator BoolExpr<T_Identifier>() 167 internal sealed class TrueExpr<T_Identifier> : BoolExpr<T_Identifier> 204 internal sealed class FalseExpr<T_Identifier> : BoolExpr<T_Identifier> 241 …internal sealed class TermExpr<T_Identifier> : BoolExpr<T_Identifier>, IEquatable<TermExpr<T_Ident… 303 Literal<T_Identifier> literal = new Literal<T_Identifier>(this, true); in MakeNegated() 324 internal abstract class TreeExpr<T_Identifier> : BoolExpr<T_Identifier> 381 internal class AndExpr<T_Identifier> : TreeExpr<T_Identifier> 421 internal class OrExpr<T_Identifier> : TreeExpr<T_Identifier> [all …]
|
H A D | Visitor.cs | 41 … internal abstract class BasicVisitor<T_Identifier> : Visitor<T_Identifier, BoolExpr<T_Identifier>> 46 internal override BoolExpr<T_Identifier> VisitNot(NotExpr<T_Identifier> expression) in VisitNot() 50 internal override BoolExpr<T_Identifier> VisitAnd(AndExpr<T_Identifier> expression) in VisitAnd() 54 internal override BoolExpr<T_Identifier> VisitOr(OrExpr<T_Identifier> expression) in VisitOr() 64 internal class TermCounter<T_Identifier> : Visitor<T_Identifier, int> 66 static readonly TermCounter<T_Identifier> s_instance = new TermCounter<T_Identifier>(); 119 internal class LeafVisitor<T_Identifier> : Visitor<T_Identifier, bool> 128 internal static List<TermExpr<T_Identifier>> GetTerms(BoolExpr<T_Identifier> expression) in GetTerms() 131 LeafVisitor<T_Identifier> visitor = new LeafVisitor<T_Identifier>(); in GetTerms() 136 internal static IEnumerable<T_Identifier> GetLeaves(BoolExpr<T_Identifier> expression) in GetLeaves() [all …]
|
H A D | Simplifier.cs | 25 internal class Simplifier<T_Identifier> : BasicVisitor<T_Identifier> 27 internal static readonly Simplifier<T_Identifier> Instance = new Simplifier<T_Identifier>(); 33 internal override BoolExpr<T_Identifier> VisitNot(NotExpr<T_Identifier> expression) in VisitNot() 46 internal override BoolExpr<T_Identifier> VisitAnd(AndExpr<T_Identifier> expression) in VisitAnd() 51 internal override BoolExpr<T_Identifier> VisitOr(OrExpr<T_Identifier> expression) in VisitOr() 56 private BoolExpr<T_Identifier> SimplifyTree(TreeExpr<T_Identifier> tree) in SimplifyTree() 62 …List<BoolExpr<T_Identifier>> simplifiedChildren = new List<BoolExpr<T_Identifier>>(tree.Children.C… in SimplifyTree() 79 …Dictionary<BoolExpr<T_Identifier>, bool> negatedChildren = new Dictionary<BoolExpr<T_Identifier>, … in SimplifyTree() 80 …List<BoolExpr<T_Identifier>> otherChildren = new List<BoolExpr<T_Identifier>>(tree.Children.Count); in SimplifyTree() 103 List<BoolExpr<T_Identifier>> children = new List<BoolExpr<T_Identifier>>(); in SimplifyTree() [all …]
|
H A D | Converter.cs | 28 private DnfSentence<T_Identifier> _dnf; 29 private CnfSentence<T_Identifier> _cnf; 31 internal Converter(BoolExpr<T_Identifier> expr, ConversionContext<T_Identifier> context) in Converter() 42 internal DnfSentence<T_Identifier> Dnf 101 _cnf = new CnfSentence<T_Identifier>(Set<CnfClause<T_Identifier>>.Empty); in InitializeNormalForms() 103 var emptyClause = new DnfClause<T_Identifier>(Set<Literal<T_Identifier>>.Empty); in InitializeNormalForms() 111 var emptyClause = new CnfClause<T_Identifier>(Set<Literal<T_Identifier>>.Empty); in InitializeNormalForms() 116 _dnf = new DnfSentence<T_Identifier>(Set<DnfClause<T_Identifier>>.Empty); in InitializeNormalForms() 121 Set<DnfClause<T_Identifier>> dnfClauses = new Set<DnfClause<T_Identifier>>(); in InitializeNormalForms() 122 Set<CnfClause<T_Identifier>> cnfClauses = new Set<CnfClause<T_Identifier>>(); in InitializeNormalForms() [all …]
|
H A D | NegationPusher.cs | 32 private class NonNegatedTreeVisitor<T_Identifier> : BasicVisitor<T_Identifier> 34 …ternal static readonly NonNegatedTreeVisitor<T_Identifier> Instance = new NonNegatedTreeVisitor<T_… 40 internal override BoolExpr<T_Identifier> VisitNot(NotExpr<T_Identifier> expression) in VisitNot() 46 … private class NegatedTreeVisitor<T_Identifier> : Visitor<T_Identifier, BoolExpr<T_Identifier>> 48 …internal static readonly NegatedTreeVisitor<T_Identifier> Instance = new NegatedTreeVisitor<T_Iden… 54 internal override BoolExpr<T_Identifier> VisitTrue(TrueExpr<T_Identifier> expression) in VisitTrue() 59 internal override BoolExpr<T_Identifier> VisitFalse(FalseExpr<T_Identifier> expression) in VisitFalse() 64 internal override BoolExpr<T_Identifier> VisitTerm(TermExpr<T_Identifier> expression) in VisitTerm() 69 internal override BoolExpr<T_Identifier> VisitNot(NotExpr<T_Identifier> expression) in VisitNot() 74 internal override BoolExpr<T_Identifier> VisitAnd(AndExpr<T_Identifier> expression) in VisitAnd() [all …]
|
H A D | KnowledgeBase.cs | 35 internal class KnowledgeBase<T_Identifier> 46 _facts = new List<BoolExpr<T_Identifier>>(); in KnowledgeBase() 70 Converter<T_Identifier> converter = new Converter<T_Identifier>(fact, _context); in AddFact() 82 … internal void AddImplication(BoolExpr<T_Identifier> condition, BoolExpr<T_Identifier> implies) in AddImplication() 94 internal void AddEquivalence(BoolExpr<T_Identifier> left, BoolExpr<T_Identifier> right) in AddEquivalence() 114 BoolExpr<T_Identifier> _condition; 115 BoolExpr<T_Identifier> _implies; 118 internal Implication(BoolExpr<T_Identifier> condition, BoolExpr<T_Identifier> implies) in Implication() 135 BoolExpr<T_Identifier> _left; 136 BoolExpr<T_Identifier> _right; [all …]
|
H A D | Clause.cs | 24 internal abstract class Clause<T_Identifier> : NormalFormNode<T_Identifier> 44 internal Set<Literal<T_Identifier>> Literals 50 …private static BoolExpr<T_Identifier> ConvertLiteralsToExpr(Set<Literal<T_Identifier>> literals, E… in ConvertLiteralsToExpr() 56 … new Func<Literal<T_Identifier>, BoolExpr<T_Identifier>>(ConvertLiteralToExpression)); in ConvertLiteralsToExpr() 69 … private static BoolExpr<T_Identifier> ConvertLiteralToExpression(Literal<T_Identifier> literal) in ConvertLiteralToExpression() 108 internal sealed class DnfClause<T_Identifier> : Clause<T_Identifier>, 109 IEquatable<DnfClause<T_Identifier>> 120 public bool Equals(DnfClause<T_Identifier> other) in Equals() 141 internal sealed class CnfClause<T_Identifier> : Clause<T_Identifier>, 142 IEquatable<CnfClause<T_Identifier>> [all …]
|
H A D | Sentence.cs | 25 internal abstract class NormalFormNode<T_Identifier> 27 private readonly BoolExpr<T_Identifier> _expr; 39 internal BoolExpr<T_Identifier> Expr { get { return _expr; } } 49 where T_NormalFormNode : NormalFormNode<T_Identifier> 60 internal abstract class Sentence<T_Identifier, T_Clause> : NormalFormNode<T_Identifier> 61 where T_Clause : Clause<T_Identifier>, IEquatable<T_Clause> 94 return new OrExpr<T_Identifier>(clauseExpressions); in ConvertClausesToExpr() 125 … internal sealed class DnfSentence<T_Identifier> : Sentence<T_Identifier, DnfClause<T_Identifier>> 128 internal DnfSentence(Set<DnfClause<T_Identifier>> clauses) in DnfSentence() 152 … internal sealed class CnfSentence<T_Identifier> : Sentence<T_Identifier, CnfClause<T_Identifier>> [all …]
|
H A D | IdentifierService.cs | 24 internal abstract class IdentifierService<T_Identifier> 30 private static IdentifierService<T_Identifier> GetIdentifierService() in GetIdentifierService() 32 Type identifierType = typeof(T_Identifier); in GetIdentifierService() 40 return (IdentifierService<T_Identifier>)Activator.CreateInstance( in GetIdentifierService() 61 internal abstract Literal<T_Identifier> NegateLiteral(Literal<T_Identifier> literal); in NegateLiteral() 71 internal abstract BoolExpr<T_Identifier> LocalSimplify(BoolExpr<T_Identifier> expression); in LocalSimplify() 74 private class GenericIdentifierService : IdentifierService<T_Identifier> 76 internal override Literal<T_Identifier> NegateLiteral(Literal<T_Identifier> literal) in NegateLiteral() 84 return new GenericConversionContext<T_Identifier>(); in CreateConversionContext() 87 … internal override BoolExpr<T_Identifier> LocalSimplify(BoolExpr<T_Identifier> expression) in LocalSimplify() [all …]
|
H A D | Literal.cs | 29 internal sealed class Literal<T_Identifier> : NormalFormNode<T_Identifier>, 30 IEquatable<Literal<T_Identifier>> 32 private readonly TermExpr<T_Identifier> _term; 40 internal Literal(TermExpr<T_Identifier> term, bool isTermPositive) in Literal() 41 …: base(isTermPositive ? (BoolExpr<T_Identifier>)term : (BoolExpr<T_Identifier>)new NotExpr<T_Ident… in Literal() 51 internal TermExpr<T_Identifier> Term 68 internal Literal<T_Identifier> MakeNegated() in MakeNegated() 70 return IdentifierService<T_Identifier>.Instance.NegateLiteral(this); in MakeNegated() 83 return Equals(obj as Literal<T_Identifier>); in Equals() 86 public bool Equals(Literal<T_Identifier> other) in Equals()
|
H A D | ConversionContext.cs | 22 internal abstract class ConversionContext<T_Identifier> 45 internal sealed class LiteralVertexPair<T_Identifier> 48 internal readonly Literal<T_Identifier> Literal; 50 internal LiteralVertexPair(Vertex vertex, Literal<T_Identifier> literal) in LiteralVertexPair() 60 internal sealed class GenericConversionContext<T_Identifier> : ConversionContext<T_Identifier> 62 …readonly Dictionary<TermExpr<T_Identifier>, int> _variableMap = new Dictionary<TermExpr<T_Identifi… 63 Dictionary<int, TermExpr<T_Identifier>> _inverseVariableMap; 78 LiteralVertexPair<T_Identifier>[] successors = new LiteralVertexPair<T_Identifier>[2]; in GetSuccessors() 86 TermExpr<T_Identifier> term = _inverseVariableMap[vertex.Variable]; in GetSuccessors() 89 Literal<T_Identifier> literal = new Literal<T_Identifier>(term, true); in GetSuccessors() [all …]
|
/dports/lang/elk/elk-3.99.8/lib/xwidgets/ |
H A D | identifier.c | 46 i = Find_Object (T_Identifier, (GENERIC)0, Match_Xt_Obj, type, val); in Make_Id() 48 i = Alloc_Object (sizeof (struct S_Identifier), T_Identifier, 0); in Make_Id() 60 Check_Type (x, T_Identifier); in Use_Id()
|
H A D | objects.c | 44 } else if (type == T_Identifier) { in Match_Xt_Obj()
|
/dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/ada/ |
H A D | par-tchk.adb | 245 procedure T_Identifier is subprogram 255 end T_Identifier;
|
/dports/lang/gcc6-aux/gcc-6-20180516/gcc/ada/ |
H A D | par-tchk.adb | 245 procedure T_Identifier is subprogram 255 end T_Identifier;
|
/dports/lang/gcc9/gcc-9.4.0/gcc/ada/ |
H A D | par-tchk.adb | 245 procedure T_Identifier is subprogram 255 end T_Identifier;
|
/dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/gcc/ada/ |
H A D | par-tchk.adb | 245 procedure T_Identifier is subprogram 255 end T_Identifier;
|
/dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/ada/ |
H A D | par-tchk.adb | 245 procedure T_Identifier is subprogram 255 end T_Identifier;
|
/dports/devel/riscv64-gcc/gcc-8.3.0/gcc/ada/ |
H A D | par-tchk.adb | 245 procedure T_Identifier is subprogram 255 end T_Identifier;
|
/dports/lang/gnat_util/gcc-6-20180516/gcc/ada/ |
H A D | par-tchk.adb | 245 procedure T_Identifier is subprogram 255 end T_Identifier;
|
/dports/lang/gcc11-devel/gcc-11-20211009/gcc/ada/ |
H A D | par-tchk.adb | 245 procedure T_Identifier is subprogram 255 end T_Identifier;
|
/dports/lang/gcc48/gcc-4.8.5/gcc/ada/ |
H A D | par-tchk.adb | 245 procedure T_Identifier is subprogram 255 end T_Identifier;
|
/dports/lang/gcc10-devel/gcc-10-20211008/gcc/ada/ |
H A D | par-tchk.adb | 245 procedure T_Identifier is subprogram 255 end T_Identifier;
|
/dports/lang/gcc12-devel/gcc-12-20211205/gcc/ada/ |
H A D | par-tchk.adb | 245 procedure T_Identifier is subprogram 255 end T_Identifier;
|
/dports/devel/mingw32-gcc/gcc-4.8.1/gcc/ada/ |
H A D | par-tchk.adb | 245 procedure T_Identifier is subprogram 255 end T_Identifier;
|