Questions tagged [definitions]
84 questions
0
votes
1 answer
functions in Coq
I have to prove some formalised stuff. There are two functions, gets some strings and array of strings, compare if there is a match,
and returns bool. I want to test them both in a lemma, and verify it. In programming, the functions would be like…
Khan
- 303
- 2
- 14
-1
votes
1 answer
TFS Build Definition Argument for Build error
Is it possible to succeed the failure build through TFS Build Definition even though it has some build errors ? like it should continue on build error
If yes, please provide MSBuild arguments ...
Thanks in advance :)
Heera
- 1
-1
votes
1 answer
Material-UI v15 TypeScript Definitions
Has anyone started creating a Material-UI v15 TypeScript definition file yet? I'm needing it for a project I'm currently working and I'm new to TypeScript to know if the modified file that I started is correct or not.
Brandon
- 9
- 3
-1
votes
2 answers
Can someone help me with making a Yahtzee game?
For my computer science class, I'm working on an end of year project and I chose to create a Yahtzee game using Python and Tkinter. I've started the code but what I have so far is not working and I'm not sure why, can someone help me?
The code after…
Kimberly Martin
- 17
- 1
- 4
-1
votes
3 answers
Class method troubles - Python
So having some trouble with a class methods. I'll post all the information that I have. I need to write the relevant methods for the questions given.
import math
epsilon = 0.000001
class Point(object):
def __init__(self, x, y):
self._x =…
Hoops
- 865
- 4
- 15
- 25
-2
votes
1 answer
Name "prompt" not defined
my code needs to ask the user for 3 numbers. if the numbers are over 100 or under 1, tell them "no way, try a different number"
My problem is: I can't figure out how to define my variable prompt, and am getting the below stacktrace when I run my…
Jeremy Bradley
- 45
- 1
- 7
-2
votes
1 answer
Necessity of declaration of function in c and cpp
From bruce eckel --" although u should always declare functions by including header file , functions declarations aren't' essential in c . Its possible in c but not cpp to call a function u havent declared. This is a dangerous practise because the…
sumit
- 87
- 1
- 7
-2
votes
1 answer
Problems with dereferencing a class member pointer that points to another class
I have defined two simple classes. The first class (A) contains a pointer (b_ptr) to an object of the second class (B), which contains an int member (i). I created an object of the first class, and am just trying to return the int contained within…
durhamsm
- 3
- 1
-4
votes
1 answer
Why isn't my C++ program working?
No idea why this isn't working, everything seems to be right but maybe I'm missing something obvious as I'm just getting to know C++.
Program:
#include
#include
using namespace std;
string ask(){
string ans2;
cout <<…
Resmik
- 7
- 1