Home
last modified time | relevance | path

Searched refs:T_Identifier (Results 1 – 25 of 106) sorted by relevance

12345

/dports/lang/mono/mono-5.10.1.57/mcs/class/referencesource/System.Data.Entity/System/Data/Common/Utils/Boolean/
H A DBoolExpr.cs33 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 DVisitor.cs41 … 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 DSimplifier.cs25 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 DConverter.cs28 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 DNegationPusher.cs32 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 DKnowledgeBase.cs35 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 DClause.cs24 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 DSentence.cs25 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 DIdentifierService.cs24 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 DLiteral.cs29 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 DConversionContext.cs22 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 Didentifier.c46 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 Dobjects.c44 } else if (type == T_Identifier) { in Match_Xt_Obj()
/dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/ada/
H A Dpar-tchk.adb245 procedure T_Identifier is subprogram
255 end T_Identifier;
/dports/lang/gcc6-aux/gcc-6-20180516/gcc/ada/
H A Dpar-tchk.adb245 procedure T_Identifier is subprogram
255 end T_Identifier;
/dports/lang/gcc9/gcc-9.4.0/gcc/ada/
H A Dpar-tchk.adb245 procedure T_Identifier is subprogram
255 end T_Identifier;
/dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/gcc/ada/
H A Dpar-tchk.adb245 procedure T_Identifier is subprogram
255 end T_Identifier;
/dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/ada/
H A Dpar-tchk.adb245 procedure T_Identifier is subprogram
255 end T_Identifier;
/dports/devel/riscv64-gcc/gcc-8.3.0/gcc/ada/
H A Dpar-tchk.adb245 procedure T_Identifier is subprogram
255 end T_Identifier;
/dports/lang/gnat_util/gcc-6-20180516/gcc/ada/
H A Dpar-tchk.adb245 procedure T_Identifier is subprogram
255 end T_Identifier;
/dports/lang/gcc11-devel/gcc-11-20211009/gcc/ada/
H A Dpar-tchk.adb245 procedure T_Identifier is subprogram
255 end T_Identifier;
/dports/lang/gcc48/gcc-4.8.5/gcc/ada/
H A Dpar-tchk.adb245 procedure T_Identifier is subprogram
255 end T_Identifier;
/dports/lang/gcc10-devel/gcc-10-20211008/gcc/ada/
H A Dpar-tchk.adb245 procedure T_Identifier is subprogram
255 end T_Identifier;
/dports/lang/gcc12-devel/gcc-12-20211205/gcc/ada/
H A Dpar-tchk.adb245 procedure T_Identifier is subprogram
255 end T_Identifier;
/dports/devel/mingw32-gcc/gcc-4.8.1/gcc/ada/
H A Dpar-tchk.adb245 procedure T_Identifier is subprogram
255 end T_Identifier;

12345