Searched defs:_contracts (Results 1 – 3 of 3) sorted by relevance
117 std::optional<ModelCheckerContracts> ModelCheckerContracts::fromString(string const& _contracts) in fromString()
119 static std::string functionOverride(Contracts const& _contracts) in functionOverride()
15 private Dictionary<XmlQualifiedName, DataContract> _contracts; field in System.Runtime.Serialization.DataContractSet