Example #1
0
        public bool Conflicts(Embedding other)
        {
            foreach (Node node in d_instances)
            {
                foreach (Node othernode in other.Instances)
                {
                    if (node.State != othernode.State)
                    {
                        continue;
                    }

                    Instance a = (Instance)node.Instruction;
                    Instance b = (Instance)othernode.Instruction;

                    if (a.Conflicts(b))
                    {
                        return(true);
                    }
                }
            }

            return(false);
        }
Example #2
0
 public Instance(Tree.Embedding prototype, IEnumerable <ulong> embeddedIds, Instruction originalInstruction)
 {
     d_prototype           = prototype;
     d_embeddedIds         = new List <ulong>(embeddedIds);
     d_originalInstruction = originalInstruction;
 }
Example #3
0
 public DependencyGroup(Tree.Embedding embedding, Knowledge.EventStateGroup eventStateGroup)
 {
     d_embedding       = embedding;
     d_eventStateGroup = eventStateGroup;
 }